HyComp
From MaRDI portal
Software:31985
swMATH20163MaRDI QIDQ31985FDOQ31985
Author name not available (Why is that?)
Cited In (6)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Title not available (Why is that?)
- Diagnosability of fair transition systems
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
- Generalized property-directed reachability for hybrid systems
This page was built for software: HyComp
