On-line model-checking for nite linear temporal logic speci cations. In Automatic Veri cation Methods for Finite State Systems (1989)

by C Jard, T Jeron
Venue:Proc. Int. Workshop, Grenoble,volume 407