Standard

One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. / Verwer, SE; de Weerdt, MM; Witteveen, C.

Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. ed. / AH Dediu; AM Ionescu; C Martin-Vide. Berlin : Springer, 2009. p. 740-751 (Lecture Notes in Computer Science; Vol. 5457).

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

Harvard

Verwer, SE, de Weerdt, MM & Witteveen, C 2009, One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. in AH Dediu, AM Ionescu & C Martin-Vide (eds), Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5457, Springer, Berlin, pp. 740-751, LATA 2009, 2/04/09.

APA

Verwer, SE., de Weerdt, MM., & Witteveen, C. (2009). One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. In AH. Dediu, AM. Ionescu, & C. Martin-Vide (Eds.), Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings (pp. 740-751). (Lecture Notes in Computer Science; Vol. 5457). Berlin: Springer.

Vancouver

Verwer SE, de Weerdt MM, Witteveen C. One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. In Dediu AH, Ionescu AM, Martin-Vide C, editors, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Berlin: Springer. 2009. p. 740-751. (Lecture Notes in Computer Science).

Author

Verwer, SE ; de Weerdt, MM ; Witteveen, C. / One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. editor / AH Dediu ; AM Ionescu ; C Martin-Vide. Berlin : Springer, 2009. pp. 740-751 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{254057a3c6704933bff352f1955990a0,
title = "One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit",
keywords = "CWTS JFIS < 0.75",
author = "SE Verwer and {de Weerdt}, MM and C Witteveen",
year = "2009",
language = "Undefined/Unknown",
isbn = "978-3-642-00981-5",
publisher = "Springer",
pages = "740--751",
editor = "AH Dediu and AM Ionescu and C Martin-Vide",
booktitle = "Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings",

}

RIS

TY - GEN

T1 - One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit

AU - Verwer, SE

AU - de Weerdt, MM

AU - Witteveen, C

PY - 2009

Y1 - 2009

KW - CWTS JFIS < 0.75

UR - http://www.springerlink.com/content/183jm7372tu706w8/

M3 - Conference contribution

SN - 978-3-642-00981-5

SP - 740

EP - 751

BT - Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

A2 - Dediu, AH

A2 - Ionescu, AM

A2 - Martin-Vide, C

PB - Springer

CY - Berlin

ER -

ID: 1432457