×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software