Author:
Beneš N.,Křetínský J.,Larsen K.G.,Srba J.
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. 20 years of modal and mixed specifications;Antonik;Bulletin of the EATCS,2008
2. A modal process logic;Larsen,1988
3. The use of static constructs in a modal process logic;Hüttel,1989
4. N. Beneš, J. Křetínský, K. Larsen, J. Srba, Checking thorough refinement on modal transition systems is EXPTIME-complete, in: Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, LNCS, Springer-Verlag, 2009 (in press)
5. Complexity of decision problems for mixed and modal specifications;Antonik,2008
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coherent modal transition systems refinement;Journal of Logical and Algebraic Methods in Programming;2024-04
2. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022
3. Logical vs. behavioural specifications;Information and Computation;2020-04
4. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018
5. Compositionality for quantitative specifications;Soft Computing;2017-02-24