Skip to main content

Logics for continuous reachability in Petri nets and vector addition systems with states

Michael Blondin and Christoph Haase

Book Title
Logic in Computer Science‚ LICS
Publisher
IEEE
Year
2017