TAGED Approximations for Temporal Properties ModelChecking (2009)

by R COURBIS, P-C HÉAM, O KOUCHNARENKO
Venue:in "14th International Conference on Implementation and Application of Automata, CIAA 2009