Unfoldings. A Partial-Order Approach to Model CheckingJosé Javier Esparza, Keijo HeljankoGrand Format129,99 €