Specifying message passing and real-time systems with real-time temporal logic

R.L.C. Koymans

Research output: Book/ReportReportAcademic

55 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages12
Publication statusPublished - 1987

Publication series

NameComputing science notes
Volume8707

Cite this