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

Bibliographic Details
Main Author: Godefroid, Patrice
Format: Book
Published: Berlin : Springer, 1996.
Series:Lecture notes in computer science ; LNCS ; v. 1032 v. 1032
Subjects: