Normal view
MARC view
Logiciels Essais (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Godefroid, Patrice. 26956, Partial-order methods for the verification of concurrent systems :, ©1996.