OrDB
Paper
  Data
Henzinger TA (1996)
The theory of Hybrid Automata
278
293
1996
Proceedings Of The 11th Ieee Symposium On Logic In Computer Science
Other categories referring to Henzinger TA (1996)
Paper.References   (1)
Revisions: 1
Last Time: 3/28/2008 5:52:46 PM
Reviewer: System Administrator
Owner: System Administrator