I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - EXPTIME-completeness of thorough refinement on modal transition systems

Reference:

Nikola Benes, Jan Kretinsky, Kim G. Larsen, and Jiri Srba. Exptime-completeness of thorough refinement on modal transition systems. Inf. Comput., 218:54–68, 2012.

Suggested BibTeX entry:

@article{DBLP:journalsiandcBenesKLS12,
    author = {Nikola Benes and Jan Kretinsky and Kim G. Larsen and Jiri Srba},
    journal = {Inf. Comput.},
    pages = {54-68},
    title = {EXPTIME-completeness of thorough refinement on modal transition systems},
    volume = {218},
    year = {2012}
}

This work is not available online here.