Paradigms for real-time systems

R.L.C. Koymans; R. Kuiper; Erik Zijlstra

doi:10.1007/3-540-50302-1_12

Paradigms for real-time systems

R.L.C. Koymans, R. Kuiper, Erik Zijlstra

Mathematics and Computer Science

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

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle of host publication	Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
Editors	M. Joseph
Place of Publication	Berlin
Publisher	Springer
Chapter	12
Pages	159-174
Number of pages	16
ISBN (Electronic)	978-3-540-45965-1
ISBN (Print)	3-540-50302-1, 978-3-540-50302-6
DOIs	https://doi.org/10.1007/3-540-50302-1_12
Publication status	Published - 1988
Event	FTRTFT 1988 - Warwick, United Kingdom Duration: 22 Sept 1988 → 23 Sept 1988

Publication series

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

Conference

Conference	FTRTFT 1988
Country/Territory	United Kingdom
City	Warwick
Period	22/09/88 → 23/09/88

Access to Document

10.1007/3-540-50302-1_12

Cite this

@inproceedings{ca300080d7f14dc7849ac67d91bd3195,

title = "Paradigms for real-time systems",

author = "R.L.C. Koymans and R. Kuiper and Erik Zijlstra",

year = "1988",

doi = "10.1007/3-540-50302-1_12",

language = "English",

isbn = "3-540-50302-1",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "159--174",

editor = "M. Joseph",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems",

address = "Germany",

note = "FTRTFT 1988 ; Conference date: 22-09-1988 Through 23-09-1988",

}

Koymans, RLC, Kuiper, R & Zijlstra, E 1988, Paradigms for real-time systems. in M Joseph (ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Lecture Notes in Computer Science (LNCS), vol. 331, Springer, Berlin, pp. 159-174, FTRTFT 1988, Warwick, United Kingdom, 22/09/88. https://doi.org/10.1007/3-540-50302-1_12

Paradigms for real-time systems. / Koymans, R.L.C.; Kuiper, R.; Zijlstra, Erik.

Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. ed. / M. Joseph. Berlin : Springer, 1988. p. 159-174 (Lecture Notes in Computer Science (LNCS); Vol. 331).

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

TY - GEN

T1 - Paradigms for real-time systems

AU - Koymans, R.L.C.

AU - Kuiper, R.

AU - Zijlstra, Erik

PY - 1988

Y1 - 1988

U2 - 10.1007/3-540-50302-1_12

DO - 10.1007/3-540-50302-1_12

M3 - Conference contribution

SN - 3-540-50302-1

SN - 978-3-540-50302-6

T3 - Lecture Notes in Computer Science (LNCS)

SP - 159

EP - 174

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems

A2 - Joseph, M.

PB - Springer

CY - Berlin

T2 - FTRTFT 1988

Y2 - 22 September 1988 through 23 September 1988

ER -