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., & Tovchigrechko, A. A. (2016). MARCIE’s Secrets of Efficient Model Checking. In Transactions on petri nets and other models of concurrency XI. Lecture Notes in Computer Science (pp. 286-296). Berlin, Heidelberg: Springer.