Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Author: Brent T. Hailpern

Ask AI a Question

ASIN: 0387112057 (US)

N/A Unknown

Category: N/A (Slug: subjects/science-math/mathematics)

Ask a Question about "Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)"

0 / 300