Editions

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

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

Lecture Notes in Computer Science

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

143 pages

nonfiction computer science design science medium-paced
Other editions (0)