Verifying Concurrent Processes Using Temporal Logic

Ask AI a Question

ASIN: 0387112057 (CA)

N/A Unknown

Category: N/A (Slug: professional-technical/professional-science/mathematics)

Ask a Question about "Verifying Concurrent Processes Using Temporal Logic"

0 / 300