Efficient Identification of Timed Automata: Theory and Practice

Research output: ThesisDissertation (TU Delft)

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Delft University of Technology
Supervisors/Advisors
  • Witteveen, C., Supervisor
Award date2 Mar 2010
Place of PublicationDelft
Publication statusPublished - 2010

Keywords

  • Diss. prom. aan TU Delft

Cite this