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


Patrice Godefroid
Bok Engelsk 1996

Detaljer

Bibliotek som har denne