TY - CONF T1 - Automated Extraction of Abstract Behavioural Models from JMS Applications UR - https://doi.org/10.1007/978-3-642-32469-7_2 PY - 2012/10/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 - 2025/11/20 ER -