%0 Thesis %1 phd/basesearch/Verwer10 %A Verwer, Sicco %D 2010 %K %T Efficient Identification of Timed Automata: Theory and practice.

@phdthesis{phd/basesearch/Verwer10, added-at = {2023-12-13T02:11:07.000+0100}, author = {Verwer, Sicco}, biburl = {https://www.bibsonomy.org/bibtex/230dcec1ec1dbdf62ae67b86cd147de39/admin}, ee = {https://www.base-search.net/Record/503ee2aed7e47d6e88cfea00d4111b8d18f5b8c16806f1684cd0c529f4f536ce}, interhash = {7bff47b4866e16b6c8438d8e78dabe2d}, intrahash = {30dcec1ec1dbdf62ae67b86cd147de39}, keywords = {}, note = {base-search.net (fttudelft:oai:tudelft.nl:uuid:61d9f199-7b01-45be-a6ed-04498113a212)}, school = {Delft University of Technology, Netherlands}, timestamp = {2023-12-13T02:11:07.000+0100}, title = {Efficient Identification of Timed Automata: Theory and practice.}, year = 2010 }