Paper Info
Title
Synchronous Observers and the Verification of Reactive Systems
Year
DOI
Venue
1993
10.1007/978-1-4471-3227-1_8
AMAST
Keywords
Field
DocType
synchronous observers,reactive systems,reactive system
Object code,Programming language,Abstraction,Computer science,Determinism,Concurrency,Programming style,Theoretical computer science,Finite-state machine,Reactive system,Semantics of logic
Conference
ISBN
Citations 
PageRank 
3-540-19852-0
140
8.50
References 
Authors
26
3
Search Limit
100140
Name
Order
Citations
PageRank
Nicolas Halbwachs13957426.43
Fabienne Lagnier231326.77
Pascal Raymond356753.53