If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Dissertation (TU Delft)
2010

Efficient Identification of Timed Automata: Theory and Practice

Verwer, SE., 2010, Delft. 252 p.

Research output: ThesisDissertation (TU Delft)