Tevfik Bultan;Richard Gerber
-;-
Learning to verify branching time properties
Formal Methods in System Design