Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference29 articles.
1. Åkesson K, Fabian M, Flordal H, Malik R (2006) Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. In: 8th Int. workshop on discrete event systems, WODES,’06. IEEE, pp 384–385, DOI https://doi.org/10.1109/WODES.2006.382401
2. Bérard B, Bidoit M, Finkel A, Laroussinie F, Petit A, Petrucci L, Schnoebelen P (2001) Systems and software verification. Springer
3. Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer Science & Business Media, New York
4. Clarke EM, Long DE, McMillan KL (1989) Compositional model checking. In: 4th Annual symp. logic in computer science, pp 353–362, DOI https://doi.org/10.1109/LICS.1989.39190
5. Dams D, Grumberg O, Gerth R (1994) Abstract interpretation of reactive systems: abstractions preserving ∀CTL∗, ∃CTL∗ and CTL∗. In: Olderog ER (ed) IFIP WG2.1/WG2.2/WG2.3 working conf. programming concepts, methods and calculi (PROCOMET), IFIP transactions. Elsevier, pp 573–592
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献