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;
Heiner, M., Rohr, C., & Schwarick, M. (2013). MARCIE – Model Checking and Reachability Analysis Done Efficiently. In Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Lecture Notes in Computer Science (pp. 389-399). Berlin, Heidelberg: Springer.