Login
- Titel:
Checking and Establishing Reachset Conformance in CORA 2023
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, Matthias
- Kongress- / Buchtitel:
- Proc. of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Band / Teilband / Volume:
- 96
- Jahr:
- 2023
- Seiten:
- 9–33
- Serientitel:
- EPiC Series in Computing
BibTeX