Publisher
Springer International Publishing
Reference19 articles.
1. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bull. EATCS 95, 94–129 (2008)
2. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20(1), 75–103 (2010)
3. Lecture Notes in Computer Science;N Beneš,2009
4. Lecture Notes in Computer Science;G Boudol,1990
5. Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wasowski, A.: Constraint Markov Chains. Theor. Comput. Sci. 412(34), 4373–4404 (2011)