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. (2011). MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. In 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (pp. 91-100).