A Calculus for Timed Automata (Extended Abstract)

P.R. d' Argenio, B. Jonsson (Editor), J. Parrow (Editor), Hendrik Brinksma

Research output: Contribution to conferencePaperAcademicpeer-review

13 Downloads (Pure)
Original languageEnglish
Pages110-129
Number of pages20
Publication statusPublished - 1996
Event4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996 - Uppsala, Sweden
Duration: 9 Sep 199613 Sep 1996
Conference number: 4

Conference

Conference4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996
Abbreviated titleFTRTFT
CountrySweden
CityUppsala
Period9/09/9613/09/96

Keywords

  • EWI-6462
  • IR-66273
  • FMT-PA: PROCESS ALGEBRAS
  • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

Cite this

d' Argenio, P. R., Jonsson, B. (Ed.), Parrow, J. (Ed.), & Brinksma, H. (1996). A Calculus for Timed Automata (Extended Abstract). 110-129. Paper presented at 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996, Uppsala, Sweden.
d' Argenio, P.R. ; Jonsson, B. (Editor) ; Parrow, J. (Editor) ; Brinksma, Hendrik. / A Calculus for Timed Automata (Extended Abstract). Paper presented at 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996, Uppsala, Sweden.20 p.
@conference{e7fc8ed36bbb402e9e1eb781526bd168,
title = "A Calculus for Timed Automata (Extended Abstract)",
keywords = "EWI-6462, IR-66273, FMT-PA: PROCESS ALGEBRAS, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS",
author = "{d' Argenio}, P.R. and B. Jonsson and J. Parrow and Hendrik Brinksma",
year = "1996",
language = "English",
pages = "110--129",
note = "4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996, FTRTFT ; Conference date: 09-09-1996 Through 13-09-1996",

}

d' Argenio, PR, Jonsson, B (ed.), Parrow, J (ed.) & Brinksma, H 1996, 'A Calculus for Timed Automata (Extended Abstract)' Paper presented at 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996, Uppsala, Sweden, 9/09/96 - 13/09/96, pp. 110-129.

A Calculus for Timed Automata (Extended Abstract). / d' Argenio, P.R.; Jonsson, B. (Editor); Parrow, J. (Editor); Brinksma, Hendrik.

1996. 110-129 Paper presented at 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996, Uppsala, Sweden.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - A Calculus for Timed Automata (Extended Abstract)

AU - d' Argenio, P.R.

AU - Brinksma, Hendrik

A2 - Jonsson, B.

A2 - Parrow, J.

PY - 1996

Y1 - 1996

KW - EWI-6462

KW - IR-66273

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

M3 - Paper

SP - 110

EP - 129

ER -

d' Argenio PR, Jonsson B, (ed.), Parrow J, (ed.), Brinksma H. A Calculus for Timed Automata (Extended Abstract). 1996. Paper presented at 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 1996, Uppsala, Sweden.