Standard

Polynomial distinguishability of timed automata. / Verwer, SE; de Weerdt, MM; Witteveen, C.

ICGI. ed. / A Clark; F Coste; Laurent Miclet. Springer, 2008. p. 238-251 (Lecture Notes in Artificial Intelligence; Vol. 5278).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Verwer, SE, de Weerdt, MM & Witteveen, C 2008, Polynomial distinguishability of timed automata. in A Clark, F Coste & L Miclet (eds), ICGI. Lecture Notes in Artificial Intelligence, vol. 5278, Springer, pp. 238-251.

APA

Verwer, SE., de Weerdt, MM., & Witteveen, C. (2008). Polynomial distinguishability of timed automata. In A. Clark, F. Coste, & L. Miclet (Eds.), ICGI (pp. 238-251). (Lecture Notes in Artificial Intelligence; Vol. 5278). Springer.

Vancouver

Verwer SE, de Weerdt MM, Witteveen C. Polynomial distinguishability of timed automata. In Clark A, Coste F, Miclet L, editors, ICGI. Springer. 2008. p. 238-251. (Lecture Notes in Artificial Intelligence).

Author

Verwer, SE ; de Weerdt, MM ; Witteveen, C. / Polynomial distinguishability of timed automata. ICGI. editor / A Clark ; F Coste ; Laurent Miclet. Springer, 2008. pp. 238-251 (Lecture Notes in Artificial Intelligence).

BibTeX

@inproceedings{dfcf5889f5654ee3bc1fcbdf3dc3cc70,
title = "Polynomial distinguishability of timed automata",
keywords = "CWTS JFIS < 0.75",
author = "SE Verwer and {de Weerdt}, MM and C Witteveen",
year = "2008",
language = "Undefined/Unknown",
isbn = "0302-9743",
publisher = "Springer",
pages = "238--251",
editor = "A Clark and F Coste and Laurent Miclet",
booktitle = "ICGI",

}

RIS

TY - GEN

T1 - Polynomial distinguishability of timed automata

AU - Verwer, SE

AU - de Weerdt, MM

AU - Witteveen, C

PY - 2008

Y1 - 2008

KW - CWTS JFIS < 0.75

UR - http://www.springerlink.com/content/551lw0032ljq0656/?p=29d61ecf9e1847428a7b470d9c3cb169&pi=18

M3 - Conference contribution

SN - 0302-9743

SP - 238

EP - 251

BT - ICGI

A2 - Clark, A

A2 - Coste, F

A2 - Miclet, Laurent

PB - Springer

ER -

ID: 1523830