B | |
---|---|
[BLP+99] | Gerd Behrmann,
Kim Guldstrand Larsen,
Justin Pearson,
Carsten Weise et
Wang Yi.
Efficient Timed Reachability Analysis using Clock
Difference Diagrams.
In CAV'99,
Lecture Notes in Computer Science 1633, pages 341-353. Springer-Verlag, juillet 1999.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1
- 1