Verifying Concurrent Processes Using Temporal Logic

Ask AI a Question

ASIN: 0387112057 (FR)

N/A Unknown

Category: N/A (Slug: livres/th-mes)

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

0 / 300