Search

Nicolas Amat

Property Directed Reachability for Generalized Petri Nets
Accelerating the Computation of Dead and Concurrent Places Using Reductions
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets

Published with Wowchemy — the free, open source website builder that empowers creators.