On Refinements of Boolean and Parametric Modal Transition Systems-Reference-Cited by-同舟云学术

On Refinements of Boolean and Parametric Modal Transition Systems

Published:2013 Issue: Volume: Page:213-230
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing – ICTAC 2013
language:
Short-container-title:

Author:

Křetínský Jan,Sickert Salomon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39718-9_13

Reference36 articles.

1. Aceto, L., Fábregas, I., de Frutos-Escrig, D., Ingólfsdóttir, A., Palomino, M.: Graphical representation of covariant-contravariant modal formulae. In: EXPRESS, pp. 1–15 (2011)

2. Lecture Notes in Computer Science;R. Alur,1998

3. Antonik, A., Huth, M., Guldstrand Larsen, K., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bulletin of the EATCS 95, 94–129 (2008)

4. Beneš, N., Černá, I., Křetínský, J.: Disjunctive modal transition systems and generalized LTL model checking. Technical report FIMU-RS-2010-12, Faculty of Informatics, Masaryk University, Brno (2010)

5. Lecture Notes in Computer Science;N. Beneš,2011

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Coherent modal transition systems refinement;Journal of Logical and Algebraic Methods in Programming;2024-04

2. Modal transition system encoding of featured transition systems;Journal of Logical and Algebraic Methods in Programming;2019-08

3. 30 Years of Modal Transition Systems: Survey of Extensions and Analysis;Lecture Notes in Computer Science;2017

4. Refinement checking on parametric modal transition systems;Acta Informatica;2015-03-19

5. On Refinements of Boolean and Parametric Modal Transition Systems;Theoretical Aspects of Computing – ICTAC 2013;2013