The theory of hybrid automata

被引：859

作者：

Henzinger, TA ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,BERKELEY,CA 94720

来源：

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/LICS.1996.561342

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：278 / 292

页数：15