Reactive modules

被引：70

作者：

Alur, R ^{[1
]}

Henzinger, TA ^{[1
]}

机构：

[1] AT&T BELL LABS,NAPERVILLE,IL 60566

来源：

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

关键词：

D O I：

10.1109/LICS.1996.561320

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：207 / 218

页数：12