Model Checking Based on Occurrence Net Graph.

Jean-Michel Couvreur, Denis Poitrenaud

Browse the full FORTE paper archive.