H | |
---|---|
[HHM99] | Thomas A. Henzinger,
Benjamin Horowitz, and
Rupak Majumdar.
Rectangular Hybrid Games.
In CONCUR'99,
Lecture Notes in Computer Science 1664, pages 320-335. Springer-Verlag, August 1999.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1