B | |
---|---|
[BDG+98] | Béatrice Bérard, Volker Diekert, Paul Gastin et Antoine Petit. Characterization of the Expressive Power of Silent Transitions in Timed Automata. Fundamenta Informaticae 36(2-3):145-182. IOS Press, novembre 1998. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1