Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.

Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Jir Srba

Browse the full ICTAC paper archive.