Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří EXPTIME-completeness of thorough refinement on modal transition systems. (English) Zbl 1282.68118 Inf. Comput. 218, 54-68 (2012). MSC: 68Q17 68Q60 PDFBibTeX XMLCite \textit{N. Beneš} et al., Inf. Comput. 218, 54--68 (2012; Zbl 1282.68118) Full Text: DOI
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří Checking thorough refinement on modal transition systems is EXPTIME-complete. (English) Zbl 1250.68117 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 112-126 (2009). MSC: 68Q17 68Q60 68Q85 PDFBibTeX XMLCite \textit{N. Beneš} et al., Lect. Notes Comput. Sci. 5684, 112--126 (2009; Zbl 1250.68117) Full Text: DOI