CURRENTLY SOLD OUT

Unfoldings: A Partial-Order Approach to Model Checking by Keijo Heljanko, Javier Esparza (Paperback, 2010)