A Calculus for Timed Automata

P.R. d' Argenio, Hendrik Brinksma

Research output: Book/ReportReportOther research output

11 Citations (Scopus)
18 Downloads (Pure)
Original languageUndefined
Place of PublicationEnschede, the Netherlands
PublisherUniversity of Twente
Publication statusPublished - 1996

Publication series

NameMemoranda Informatica
PublisherUniversity of Twente
No.96-13

Keywords

  • EWI-6427
  • FMT-PA: PROCESS ALGEBRAS
  • IR-66263
  • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

Cite this

d' Argenio, P. R., & Brinksma, H. (1996). A Calculus for Timed Automata. (Memoranda Informatica; No. 96-13). Enschede, the Netherlands: University of Twente.
d' Argenio, P.R. ; Brinksma, Hendrik. / A Calculus for Timed Automata. Enschede, the Netherlands : University of Twente, 1996. (Memoranda Informatica; 96-13).
@book{41454795873d4c34a455a89f48639eab,
title = "A Calculus for Timed Automata",
keywords = "EWI-6427, FMT-PA: PROCESS ALGEBRAS, IR-66263, FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS",
author = "{d' Argenio}, P.R. and Hendrik Brinksma",
year = "1996",
language = "Undefined",
series = "Memoranda Informatica",
publisher = "University of Twente",
number = "96-13",
address = "Netherlands",

}

d' Argenio, PR & Brinksma, H 1996, A Calculus for Timed Automata. Memoranda Informatica, no. 96-13, University of Twente, Enschede, the Netherlands.

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

Enschede, the Netherlands : University of Twente, 1996. (Memoranda Informatica; No. 96-13).

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - A Calculus for Timed Automata

AU - d' Argenio, P.R.

AU - Brinksma, Hendrik

PY - 1996

Y1 - 1996

KW - EWI-6427

KW - FMT-PA: PROCESS ALGEBRAS

KW - IR-66263

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

M3 - Report

T3 - Memoranda Informatica

BT - A Calculus for Timed Automata

PB - University of Twente

CY - Enschede, the Netherlands

ER -

d' Argenio PR, Brinksma H. A Calculus for Timed Automata. Enschede, the Netherlands: University of Twente, 1996. (Memoranda Informatica; 96-13).