Simple on-the-fly automatic verification of linear temporal logic. (1995)

by Rob Gerth, Doron Peled, Moshe Y Vardi, Pierre Wolper
Venue:In PSTV,