Enterprise, Business-Process and Information Systems Modeling: 15th International Conference, Bpmds 2014, 19th International Conference, Emmsad 2014, (Paperback)
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, Memics 2014, Telč, Czech Republic, October 17–19, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im (Paperback)