Publications Login
Home List all
@article{verwer11,
	author          = {Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen},
	title           = {The efficiency of identifying timed automata and the power of clocks},
	journal         = {Information and Computation},
	year            = {2011},
	volume          = {209},
	number          = {3},
	pages           = {606-625},
	issn            = {0890-5401},
	url             = {http://dx.doi.org/10.1016/j.ic.2010.11.023},
	project         = {Motormanagement},
	group           = {ALG}
}