Synchronous Observers and the Verification of Reactive Systems
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
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