D | |
---|---|
[Doy06] | Laurent Doyen.
Algorithmic Analysis of Complex Semantics for Timed
and Hybrid Automata.
Thèse de doctorat,
Département d'Informatique, Université Libre
de Bruxelles, Belgium,
June 2006.
|
Search
Displayed 1 resultList of authors
- 1