I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - On Refinements of Boolean and Parametric Modal Transition Systems


Jan Kretinsky and Salomon Sickert. On refinements of Boolean and parametric modal transition systems. In Liu et al., pages 213–230.

Suggested BibTeX entry:

    author = {Jan Kretinsky and Salomon Sickert},
    booktitle = {ICTAC},
    editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu},
    pages = {213-230},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {On Refinements of {B}oolean and Parametric Modal Transition Systems},
    volume = {8049},
    year = {2013}

This work is not available online here.