The efficiency of identifying timed automata and the power of clocks

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

Original language	English
Pages (from-to)	606-625
Number of pages	20
Journal	Information and Computation
Volume	209
Issue number	3
DOIs	https://doi.org/10.1016/j.ic.2010.11.023
Publication status	Published - 2011

Keywords

@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",

}

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

SN - 0890-5401

VL - 209

SP - 606

EP - 625

JO - Information and Computation

JF - Information and Computation

IS - 3

ER -