I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Modal transition systems

Reference:

Jan Kretinsky. Modal transition systems. Master's thesis, Masaryk University, Brno, Dept. of Mathematics, 2010.

Suggested BibTeX entry:

@mastersthesis{master:Kretinskymath10,
    author = {Jan Kretinsky},
    school = {Masaryk University, Brno, Dept. of Mathematics},
    title = {Modal transition systems},
    year = {2010}
}

This work is not available online here.