Synthesis of synchronization skeletons for branching time temporal logic (1981)

by E M Clarke, E A Emerson
Venue:Logic of Programs Workshop. Springer-Verlag Lecture Notes in Computer Science 131