Pnuelli ; Verification of Concurrent Programs: The temporal proof principles (1983)

by Zohar Manna, Amir
Venue:Automata, Languages and Programming, Lecture Notes in Computer Science 131