A calculus for timed automata

P.R. D'Argenio; E. Brinksma

doi:10.1007/3-540-61648-9_37

A calculus for timed automata

P.R. D'Argenio, E. Brinksma

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 (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996)
Editors	B. Jonsson, J. Parrow
Publisher	Springer
Pages	110-129
ISBN (Print)	3-540-61648-9
DOIs	https://doi.org/10.1007/3-540-61648-9_37
Publication status	Published - 1996

Publication series

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

Access to Document

10.1007/3-540-61648-9_37

Cite this

D'Argenio, P. R., & Brinksma, E. (1996). A calculus for timed automata. In B. Jonsson, & J. Parrow (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996) (pp. 110-129). (Lecture Notes in Computer Science; Vol. 1135). Springer. https://doi.org/10.1007/3-540-61648-9_37

@inproceedings{4b71718dcdec438aaeb3743e3740bdca,

title = "A calculus for timed automata",

author = "P.R. D'Argenio and E. Brinksma",

year = "1996",

doi = "10.1007/3-540-61648-9_37",

language = "English",

isbn = "3-540-61648-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "110--129",

editor = "B. Jonsson and J. Parrow",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996)",

address = "Germany",

}

A calculus for timed automata. / D'Argenio, P.R.; Brinksma, E.
Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996). ed. / B. Jonsson; J. Parrow. Springer, 1996. p. 110-129 (Lecture Notes in Computer Science; Vol. 1135).

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

TY - GEN

T1 - A calculus for timed automata

AU - D'Argenio, P.R.

AU - Brinksma, E.

PY - 1996

Y1 - 1996

U2 - 10.1007/3-540-61648-9_37

DO - 10.1007/3-540-61648-9_37

M3 - Conference contribution

SN - 3-540-61648-9

T3 - Lecture Notes in Computer Science

SP - 110

EP - 129

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996)

A2 - Jonsson, B.

A2 - Parrow, J.

PB - Springer

ER -