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

Godefroid, Patrice
Հրապարակվել է 1996