Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Shelfclass_id	3.F.4
Sortkey	GODEFROID, PATRICE
Authors	Patrice Godefroid
Title	Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Publisher	Springer
Year	1996
Languages	eng
Isbn	3540607617, 9783540607618
Series	Lecture Notes in Computer Science
Volume	1032
Issn	0302-9743
Description	142 p. ill. 24 cm
Record date	20110328
Location	New York
Keywords	Parallel processing (Electronic computers), Computer software, Verification
Urlnote	Publisher description
Urls	http://www.loc.gov/catdir/enhancements/fy0815/95051354-d.html