Sciweavers

STOC
1995
ACM

What's decidable about hybrid automata?

13 years 8 months ago
What's decidable about hybrid automata?
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pr
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where STOC
Authors Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
Comments (0)