Approaching the Coverability Problem Continuously
Michael Blondin‚ Alain Finkel‚ Christoph Haase and Serge Haddad
Book Title
Tools and Algorithms for the Construction and Analysis of Systems‚ TACAS
Pages
480–496
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
9636
Year
2016