Amir Pnueli. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Current Trends in Concurrency, Overviews and Tutorials. Volume 224 of Lecture Notes in Computer Science, pages 510-584, Springer, 1986.
No references recorded for this publication.
No citations of this publication recorded.