B | |
---|---|
[Bou02] | Patricia Bouyer.
Timed Automata May Cause some Troubles.
Research Report LSV-02-09, Lab. Spécification & Vérification, ENS Cachan,
France,
Juillet 2002.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1