Explore
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
2024
0 Ungluers have
Faved this Work
Login to Fave
The open access TACAS 2024 proceedings focus on rigorously based tools and algorithms for the construction and analysis of systems.
Links
DOI: 10.1007/978-3-031-57249-4web: https://link.springer.com/book/10.1007/978-3-031-57249-4
Editions