On the construction of a domain language for a class of reactive systems

Authors
Kapur, D Winter, VL
Citation
D. Kapur et Vl. Winter, On the construction of a domain language for a class of reactive systems, KLUW ENGN C, 577, 2001, pp. 169-196
Categorie Soggetti
Current Book Contents
Journal title
HIGH INTEGRITY SOFTWARE → ACNP
Volume
577
Year of publication
2001
Pages
169 - 196
Database
ISI
SICI code