"Automated Extraction of Abstract Behavioural Models from JMS Applications."

Elvira Albert, Bjarte M. Østvold, José Miguel Rojas (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics