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