Unfoldings: A Partial-Order Approach to Model Checking

Authors: Esparza, Javier, Heljanko, Keijo

Ask AI a Question

Brand: Springer

ASIN: 3642096050 (CA)

138.58 CAD In Stock

Category: N/A (Slug: subjects/computers-technology/computer-science)

Ask a Question about "Unfoldings: A Partial-Order Approach to Model Checking"

0 / 300