Examples of a real-time temporal logic specification

R.L.C. Koymans, W.P. Roever, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

24 Citations (Scopus)
Original languageEnglish
Title of host publicationThe Analysis of Concurrent Systems (Cambridge, UK, September 12-16, 1983)
EditorsB.T. Denvir, W.T. Harwood, M.I. Jackson
Place of PublicationBerlin
PublisherSpringer
Chapter50
Pages231-251
Number of pages21
ISBN (Electronic)978-3-540-39731-1
ISBN (Print)3-540-16047-7, 978-3-540-16047-2
DOIs
Publication statusPublished - 1985

Publication series

NameLecture Notes in Computer Science
Volume207
ISSN (Print)0302-9743

Cite this