How to manage coverability graphs construction: an overview.

C. Covs, Didier Crestani, Franois Prunet

Browse the full SMC paper archive.