Corrections to "A Menagerie of Timed Automata"

J.J.A. Keiren; P. Fontana; R. Cleaveland

doi:10.1145/3078809

Corrections to "A Menagerie of Timed Automata"

J.J.A. Keiren, P. Fontana, R. Cleaveland

Research Line Resilience (part of LIRS program)

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Web of Science)

Original language	English
Article number	42
Pages (from-to)	1-8
Number of pages	8
Journal	Acm Computing Surveys
Volume	50
Issue number	3
DOIs	https://doi.org/10.1145/3078809
Publication status	Published - Oct 2017

Keywords

Timed automata
timed transition systems
transition systems

Access to Document

10.1145/3078809

https://arxiv.org/abs/1602.07165

Cite this

@article{b79fa3e060844fb983e5c587b52e1303,

title = "Corrections to {"}A Menagerie of Timed Automata{"}",

keywords = "Timed automata, timed transition systems, transition systems",

author = "J.J.A. Keiren and P. Fontana and R. Cleaveland",

year = "2017",

month = oct,

doi = "10.1145/3078809",

language = "English",

volume = "50",

pages = "1--8",

journal = "Acm Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - Corrections to "A Menagerie of Timed Automata"

AU - Keiren, J.J.A.

AU - Fontana, P.

AU - Cleaveland, R.

PY - 2017/10

Y1 - 2017/10

KW - Timed automata

KW - timed transition systems

KW - transition systems

U2 - 10.1145/3078809

DO - 10.1145/3078809

M3 - Article

SN - 0360-0300

VL - 50

SP - 1

EP - 8

JO - Acm Computing Surveys

JF - Acm Computing Surveys

IS - 3

M1 - 42

ER -

Corrections to "A Menagerie of Timed Automata"

Keywords

Access to Document

Fingerprint

Cite this