Author:
Beneš Nikola,Křetínský Jan,Larsen Kim G.,Srba Jiří
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bulletin of the EATCS 1995, 94–129 (2008)
2. Lecture Notes in Computer Science;A. Antonik,2008
3. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: EXPTIME-complete decision problems for mixed and modal specifications. In: Proc. of EXPRESS 2008 (July 2008)
4. Balcazar, J.L., Gabarró, J., Santha, M.: Deciding bisimilarity is P-complete. Formal aspects of computing 4(6A), 638–648 (1992)
5. Beneš, N., Křetínský, J., Larsen, K.G., Srba, J.: On determinism in modal transition systems. Theoretical Computer Science (to appear) (2008)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献