Author:
Beneš Nikola,Křetínský Jan,Larsen Kim G.,Møller Mikael H.,Srba Jiří
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bulletin of the EATCS, vol. 95, pp. 94–129 (2008)
2. Balcazar, J.L., Gabarró, J., Santha, M.: Deciding bisimilarity is P-complete. Formal Aspects of Computing 4(6A), 638–648 (1992)
3. Beneš, N., Křetínský, J., Larsen, K.G., Møller, M.H., Srba, J.: Parametric modal transition systems. Technical report FIMU-RS-2011-03, Faculty of Informatics, Masaryk University, Brno (2011)
4. OASICS;N. Beneš,2010
5. Boudol, G., Larsen, K.G.: Graphical versus logical specifications. Theor. Comput. Sci. 106(1), 3–20 (1992)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献