G.J.: Temporal logic verification using simulation (2006)

by G E Fainekos, A Girard, Pappas
Venue:In: Proceedings of FORMATS. Volume 4202 of LNCS