1. Lecture Notes in Computer Science;H. Aljazzar,2005
2. Lecture Notes in Computer Science;C. Baier,2008
3. C. Baier and F. Ciesinski. Liquor: A tool for qualitative and quantitative linear time analysis of reactive systems. In Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST’06), pages 131–132. IEEE Computer Society Press, Los Alamitos, 2006.
4. C. Baier, F. Ciesinski, and M. Grösser. ProbMeLa: A modeling language for communicating probabilistic systems. In Proceedings of the 2nd ACM–IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’04), pages 57–66. IEEE Computer Society Press, Los Alamitos, 2006.
5. C. Baier, F. Ciesinski, M. Grösser, and J. Klein. Reduction techniques for model checking Markov decision processes. In Proceedings of the 5th International Conference on Quantitative Evaluation of SysTems (QEST’08), pages 45–54. IEEE Computer Society Press, Los Alamitos, 2008.