Standard

The efficiency of identifying timed automata and the power of clocks. / Verwer, SE; de Weerdt, MM; Witteveen, C.

In: Information and Computation, Vol. 209, No. 3, 2011, p. 606-625.

Research output: Contribution to journalArticleScientificpeer-review

Harvard

APA

Vancouver

Author

Verwer, SE ; de Weerdt, MM ; Witteveen, C. / The efficiency of identifying timed automata and the power of clocks. In: Information and Computation. 2011 ; Vol. 209, No. 3. pp. 606-625.

BibTeX

@article{2f851766543b43df9874a7f0a400843e,
title = "The efficiency of identifying timed automata and the power of clocks",
keywords = "ZX CWTS JFIS < 1.00",
author = "SE Verwer and {de Weerdt}, MM and C Witteveen",
year = "2011",
doi = "10.1016/j.ic.2010.11.023",
language = "English",
volume = "209",
pages = "606--625",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Elsevier",
number = "3",

}

RIS

TY - JOUR

T1 - The efficiency of identifying timed automata and the power of clocks

AU - Verwer, SE

AU - de Weerdt, MM

AU - Witteveen, C

PY - 2011

Y1 - 2011

KW - ZX CWTS JFIS < 1.00

U2 - 10.1016/j.ic.2010.11.023

DO - 10.1016/j.ic.2010.11.023

M3 - Article

VL - 209

SP - 606

EP - 625

JO - Information and Computation

T2 - Information and Computation

JF - Information and Computation

SN - 0890-5401

IS - 3

ER -

ID: 2732037