TY - CONF T1 - Automated Extraction of Abstract Behavioural Models from JMS Applications PY - 2012/01/01 AU - Albert E AU - Østvold BM AU - Rojas JM ED - DO - DOI: 10.1007/978-3-642-32469-7_2 PB - Springer Berlin Heidelberg SN - 9783642324680 SP - 16 EP - 31 Y2 - 2024/12/22 ER -