Login
- Title:
Checking and Establishing Reachset Conformance in CORA 2023
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, Matthias
- Book / Congress title:
- Proc. of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Volume:
- 96
- Year:
- 2023
- Pages:
- 9–33
- Bookseries title:
- EPiC Series in Computing
BibTeX