Applications of temporal logic to the specification of real time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 331 LNCS, Issue , 1988, Pages 84-98

  Pnueli, Amir ^a   Harel, Eyal ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042165766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-50302-1_4     Document Type: Conference Paper

References (2)

1. E. Ewald, D.E. Shasha, A. Pnueli. Temporal verification of carrier-sense local area network protocols. Proc. 11th ACM Symp. on Principles of Programming Languages, pages 54-65, 1984.
2. W.P. DeRoever, R. Koymans, J. Vytopil. Real time programming and asynchronous message passing. 2nd ACM Symp. on Principles of Distributed Programming, pages 187-197, 1983.