Exploiting Functional Dependencies in Finite State Machine Verification.

C. A. J. van Eijk, Jochen A. G. Jess

Browse the full DATE paper archive.