Specifying message passing and realt-time systems with temporal logic

R.L.C. Koymans

Specifying message passing and realt-time systems with temporal logic

R.L.C. Koymans

Mathematics and Computer Science

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

Original language	English
Title of host publication	Software Specificatie Technieken (Philips-OIT/TUE-RC Colloquium, Eindhoven, The Netherlands, 1986)
Editors	J.A.A.M. Poirters, G.J. Schoenmakers
Place of Publication	Schoonhoven
Publisher	Academic Service
Pages	177-186
ISBN (Print)	90-6233-269-2
Publication status	Published - 1987

Cite this

@inproceedings{4c190c3f829f4288aa402dbfb34889b1,

title = "Specifying message passing and realt-time systems with temporal logic",

author = "R.L.C. Koymans",

year = "1987",

language = "English",

isbn = "90-6233-269-2",

pages = "177--186",

editor = "J.A.A.M. Poirters and G.J. Schoenmakers",

booktitle = "Software Specificatie Technieken (Philips-OIT/TUE-RC Colloquium, Eindhoven, The Netherlands, 1986)",

publisher = "Academic Service",

}

Specifying message passing and realt-time systems with temporal logic. / Koymans, R.L.C.
Software Specificatie Technieken (Philips-OIT/TUE-RC Colloquium, Eindhoven, The Netherlands, 1986). ed. / J.A.A.M. Poirters; G.J. Schoenmakers. Schoonhoven: Academic Service, 1987. p. 177-186.

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

TY - GEN

T1 - Specifying message passing and realt-time systems with temporal logic

AU - Koymans, R.L.C.

PY - 1987

Y1 - 1987

M3 - Conference contribution

SN - 90-6233-269-2

SP - 177

EP - 186

BT - Software Specificatie Technieken (Philips-OIT/TUE-RC Colloquium, Eindhoven, The Netherlands, 1986)

A2 - Poirters, J.A.A.M.

A2 - Schoenmakers, G.J.

PB - Academic Service

CY - Schoonhoven

ER -