Andrew S. Miner, Yaping Jing. A Formal Language toward the Unification of Model Checking and Performance Evaluation. In Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt, editors, Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings. Volume 6148 of Lecture Notes in Computer Science, pages 130-144, Springer, 2010. [doi]
Abstract is missing.