Unfoldings
A Partial-Order Approach to Model Checking
Szerző:
Javier Esparza, Keijo Heljanko
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
39 933
Ft
In this book the authors introduce unfoldings, an approach to model checking which alleviates the st...
