![]() |
Volumn 23, Issue 11-12, 1996, Pages 191-202
|
Decidable hybrid systems
|
Author keywords
Decidable systems; Hybrid systems; Real time systems
|
Indexed keywords
|
EID: 0030162099
PISSN: 08957177
EISSN: None
Source Type: Journal
DOI: 10.1016/0895-7177(96)00072-6 Document Type: Article |
Times cited : (23)
|
References (7)
|