Publications Login
Home List all
@inproceedings{,
	author          = {Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen},
	title           = {Polynomial distinguishability of timed automata},
	booktitle       = {ICGI},
	publisher       = {Springer},
	year            = {2008},
	editor          = {Alexander Clark and Francois Coste and Laurent Miclet},
	volume          = {5278},
	series          = {LNAI},
	pages           = {238-251},
	isbn            = {0302-9743},
	url             = {http://www.springerlink.com/content/551lw0032ljq0656/?p=29d61ecf9e1847428a7b470d9c3cb169&pi=18},
	project         = {Motormanagement},
	group           = {ALG}
}