Publications Login
Home List all
@inproceedings{,
	author          = {Sicco Verwer and Mathijs de Weerdt and Cees Witteveen},
	title           = {One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit},
	booktitle       = {Language and Automata Theory and Applications},
	publisher       = {Springer},
	year            = {2009},
	editor          = {Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martín-Vide},
	volume          = {5457},
	series          = {Lecture Notes in Computer Science (LNCS)},
	pages           = {740-751},
	isbn            = {978-3-642-00981-5},
	url             = {http://www.springerlink.com/content/183jm7372tu706w8/},
	project         = {Motormanagement},
	group           = {ALG}
}