Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /

بواسطة Godefroid, Patrice
منشور في 1996