Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines.

Nikolay V. Shilov

Browse the full LFCS paper archive.