swMATH20163MaRDI QIDQ31985FDOQ31985
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-662-46681-0_4
Cited In (17)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- Diagnosability of fair transition systems
- InvA
- HyDI
- SynchAADL2Maude
- RATSY
- nuXmv
- HYST
- XSpeed
- CTIGAR
- iSAT
- Papyrus-RT
- Linear-time temporal logic with event freezing functions
- Generalized property-directed reachability for hybrid systems
- OCRA
This page was built for software: HyComp
