B | |
---|---|
[BDG+98] | Béatrice Bérard, Volker Diekert, Paul Gastin, and Antoine Petit. Characterization of the Expressive Power of Silent Transitions in Timed Automata. Fundamenta Informaticae 36(2-3):145-182. IOS Press, November 1998. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1