D | |
---|---|
[DKL07] | Henning Dierks, Sebastian Kupferschmid, and Kim Guldstrand Larsen. Automatic abstraction refinement for timed automata. In FORMATS'07, Lecture Notes in Computer Science 4763, pages 114-129. Springer-Verlag, October 2007. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1