Roland Lezuo, Andreas Krall. Using the CASM language for simulator synthesis and model verification. In Daniel Gracia Pérez, Morteza Biglari-Abhari, Daniel Chillet, Gianluca Palermo, editors, Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO '13, 21 January, 2013, Berlin, Germany. pages 6, ACM, 2013. [doi]
Abstract is missing.