Synchronous Observers and the Verification of Reactive Systems
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Conference Papers
Year : 1994
Pascal Raymond : Connect in order to contact the contributor
https://hal.science/hal-04683965
Submitted on : Monday, September 2, 2024-2:28:01 PM
Last modification on : Friday, September 6, 2024-3:04:32 AM
Cite
Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond. Synchronous Observers and the Verification of Reactive Systems. Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Jun 1993, Twente, Netherlands. pp.83-96, ⟨10.1007/978-1-4471-3227-1_8⟩. ⟨hal-04683965⟩
13
View
5
Download