B | |
---|---|
[BDG+11] | Thomas Brihaye,
Laurent Doyen,
Gilles Geeraerts,
Joël Ouaknine,
Jean-François Raskin, and
James Worrell.
On Reachability for Hybrid Automata over Bounded
Time.
In ICALP'11,
Lecture Notes in Computer Science 6756, pages 416-427. Springer-Verlag, July 2011.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1
- 1