Design and synthesis of synchronization skeletons using branching-time temporal logic
Edmund M. Clarke, E. Allen Emerson[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Logic of Programs, Workshop
Springer-Verlag
London, UK, UK
Pages 52-71
1982
Note(s): model checking, temporal logic
Springer-Verlag
London, UK, UK
Pages 52-71
1982
Note(s): model checking, temporal logic