An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus.

Sergey Berezin, Nikolay V. Shilov

Browse the full LFCS paper archive.