Media type: E-Article Title: EXPTIME-completeness of thorough refinement on modal transition systems Contributor: Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří imprint: Elsevier BV, 2012 Published in: Information and Computation Language: English DOI: 10.1016/j.ic.2012.08.001 ISSN: 0890-5401 Keywords: Computational Theory and Mathematics ; Computer Science Applications ; Information Systems ; Theoretical Computer Science Origination: Footnote: Access State: Open Access