Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Michel Hack

The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems

English