Home / Authors / Javier Esparza, Keijo Heljanko

Books by Javier Esparza, Keijo Heljanko

All books by this author

2 books found
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Unfoldings: A Partial-Order Approach to Model Checking (Mon…
By: Javier Esparza, Keijo Heljanko
View Details
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Unfoldings: A Partial-Order Approach to Model Checking (Mon…
By: Javier Esparza, Keijo Heljanko
View Details