Verifying Liveness Properties of Reactive Systems (Tutorial Abstract).

Amir Pnueli Verifying Liveness Properties of Reactive Systems (Tutorial Abstract). 1 1997 conf/hybrid/1997hart HART db/conf/hybrid/hart97.html#Pnueli97