Print Email Facebook Twitter Polynomial Distinguishability of Timed Automata (extended abstract) Title Polynomial Distinguishability of Timed Automata (extended abstract) Author Verwer, S. De Weerdt, M.M. Witteveen, C. Faculty Electrical Engineering, Mathematics and Computer Science Department Software Computer Technology Date 2008-10-30 To reference this document use: http://resolver.tudelft.nl/uuid:3ec4fab1-946d-4b0b-87f2-c8ca092ebaeb Source BNAIC 2008: The 20th Belgian-Netherlands Conference on Artificial Intelligence, Enschede, The Netherlands, 30-31 October 2008 Part of collection Institutional Repository Document type conference paper Rights (c) 2008 The Author(s) Files PDF deWeerdt2008.pdf 262.97 KB Close viewer /islandora/object/uuid:3ec4fab1-946d-4b0b-87f2-c8ca092ebaeb/datastream/OBJ/view