Examples of a real-time temporal logic specification

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

doi:10.1007/3-540-16047-7_50

Examples of a real-time temporal logic specification

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

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

29 Citations (Scopus)

Original language	English
Title of host publication	The Analysis of Concurrent Systems (Cambridge, UK, September 12-16, 1983)
Editors	B.T. Denvir, W.T. Harwood, M.I. Jackson
Place of Publication	Berlin
Publisher	Springer
Chapter	50
Pages	231-251
Number of pages	21
ISBN (Electronic)	978-3-540-39731-1
ISBN (Print)	3-540-16047-7, 978-3-540-16047-2
DOIs	https://doi.org/10.1007/3-540-16047-7_50
Publication status	Published - 1985

Publication series

Name	Lecture Notes in Computer Science
Volume	207
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-16047-7_50

Cite this

@inproceedings{6128f50c6bcb4925baf1b720247c3db5,

title = "Examples of a real-time temporal logic specification",

author = "R.L.C. Koymans and {Roever, de}, W.P.",

year = "1985",

doi = "10.1007/3-540-16047-7_50",

language = "English",

isbn = "3-540-16047-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "231--251",

editor = "B.T. Denvir and W.T. Harwood and M.I. Jackson",

booktitle = "The Analysis of Concurrent Systems (Cambridge, UK, September 12-16, 1983)",

address = "Germany",

}

Examples of a real-time temporal logic specification. / Koymans, R.L.C.; Roever, de, W.P.

The Analysis of Concurrent Systems (Cambridge, UK, September 12-16, 1983). ed. / B.T. Denvir; W.T. Harwood; M.I. Jackson. Berlin : Springer, 1985. p. 231-251 (Lecture Notes in Computer Science; Vol. 207).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Examples of a real-time temporal logic specification

AU - Koymans, R.L.C.

AU - Roever, de, W.P.

PY - 1985

Y1 - 1985

U2 - 10.1007/3-540-16047-7_50

DO - 10.1007/3-540-16047-7_50

M3 - Conference contribution

SN - 3-540-16047-7

SN - 978-3-540-16047-2

T3 - Lecture Notes in Computer Science

SP - 231

EP - 251

BT - The Analysis of Concurrent Systems (Cambridge, UK, September 12-16, 1983)

A2 - Denvir, B.T.

A2 - Harwood, W.T.

A2 - Jackson, M.I.

PB - Springer

CY - Berlin

ER -