Model Checking mu-Calculus in Well-Structured Transition Systems.

E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov

Browse the full TIME paper archive.