Publications Login
Home List all
@phdthesis{Verwer2010,
	author          = {Sicco Verwer},
	title           = {Efficient Identification of Timed Automata: Theory and Practice},
	school          = {Delft University of Technology},
	year            = {2010},
	group           = {ALG}
}