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. (2011). MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. Talk presented at 8th International Conference on Quantitative Evaluation of SysTems. Aachen, Germany. 2011-09-05 - 2011-09-08.