Skip to main content

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