Rohr, Christian Brandenburg University of Technology, Cottbus; International Max Planck Research School (IMPRS), Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society;
Schwarick, M., Heiner, M., & Rohr, C. (2013). MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. Talk presented at International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2013. Milano, Italy. 2013-06-24 - 2013-06-28.