Skip to main content

Directed Reachability for Infinite−State Systems

Michael Blondin‚ Christoph Haase and Philip Offtermatt

Book Title
Tools and Algorithms for the Construction and Analysis of Systems‚ TACAS
Note
To appear
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Year
2021