A calculus for timed automata

P.R. D'Argenio, E. Brinksma

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

11 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996)
EditorsB. Jonsson, J. Parrow
PublisherSpringer
Pages110-129
ISBN (Print)3-540-61648-9
DOIs
Publication statusPublished - 1996

Publication series

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

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