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

Email RIS file
Bookmark
Report an Issue

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

Author
Godefroid, Patrice
Published
Berlin ; New York : Springer, [1996]
Copyright Date
©1996
Physical Description
142 pages : illustrations ; 24 cm.

Availability

Browse Nearby on Shelf
I Want It
I Want It

Finding items...

Series
Subject(s)
ISBN
3540607617 (softcover : alk. paper)
Bibliography Note
Includes bibliographical references and index.
View MARC record | catkey: 1543358