|
|
| Verification of Digital and Hybrid Systems | Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach |
Library Size: 80G (2 books), Last Updated: Mar 31, 2026, 18:05:21,
Build Time: N/A
|
|
|
| Verification of Digital and Hybrid Systems | Computer-aided Verification of Coordinating Processes: The Automata-theoretic Approach |