Automated Extraction of Abstract Behavioural Models from JMS Applications.

Elvira Albert, Bjarte M. stvold, Jos Miguel Rojas

Browse the full FMICS paper archive.