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:
Description
Physical Description:142 p. : il. ; 24 cm.
ISBN:3540607617