Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams.

Olivier CoudertJean Christophe MadreChristian Berthet
Published in: CAV (DIMACS/AMS volume) (1990)