A Calculus for Timed Automata

P.R. d' Argenio, Hendrik Brinksma

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

Original languageUndefined
Title of host publicationProceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag
Place of PublicationUppsala, Sweden
Pages110-129
Number of pages20
Publication statusPublished - 9 Sep 1996

Keywords

  • METIS-120051

Cite this

d' Argenio, P. R., & Brinksma, H. (1996). A Calculus for Timed Automata. In Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag (pp. 110-129). Uppsala, Sweden.
d' Argenio, P.R. ; Brinksma, Hendrik. / A Calculus for Timed Automata. Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden, 1996. pp. 110-129
@inproceedings{598758bb01c04b22be18be8674a6bef4,
title = "A Calculus for Timed Automata",
keywords = "METIS-120051",
author = "{d' Argenio}, P.R. and Hendrik Brinksma",
year = "1996",
month = "9",
day = "9",
language = "Undefined",
isbn = "3-540-61648-9",
pages = "110--129",
booktitle = "Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag",

}

d' Argenio, PR & Brinksma, H 1996, A Calculus for Timed Automata. in Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden, pp. 110-129.

A Calculus for Timed Automata. / d' Argenio, P.R.; Brinksma, Hendrik.

Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden, 1996. p. 110-129.

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

TY - GEN

T1 - A Calculus for Timed Automata

AU - d' Argenio, P.R.

AU - Brinksma, Hendrik

PY - 1996/9/9

Y1 - 1996/9/9

KW - METIS-120051

M3 - Conference contribution

SN - 3-540-61648-9

SP - 110

EP - 129

BT - Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag

CY - Uppsala, Sweden

ER -

d' Argenio PR, Brinksma H. A Calculus for Timed Automata. In Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden. 1996. p. 110-129