"Compositional State Space Generation with Partial Order Reductions for ..."

Jean-Pierre Krimm, Laurent Mounier (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics