Emerson: Synthesis of synchronization skeletons for branching time temporal logic (0)

by E M Clarke, E
Venue:In Logic of Programs (1981), LNCS 131