I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - MoTraS: A Tool for Modal Transition Systems and Their Extensions

Reference:

Jan Kretinsky and Salomon Sickert. MoTraS: A tool for modal transition systems and their extensions. In Hung and Ogawa, pages 487–491.

Suggested BibTeX entry:

@inproceedings{DBLP:confatvaKretinskyS13,
    author = {Jan Kretinsky and Salomon Sickert},
    booktitle = {ATVA},
    editor = {Dang Van Hung and Mizuhito Ogawa},
    pages = {487-491},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {{MoTraS}: A Tool for Modal Transition Systems and Their Extensions},
    volume = {8172},
    year = {2013}
}

This work is not available online here.