An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic

Michael C. Browne

Browse the full LICS paper archive.