Similar Listings
Model Checking Software - 9783642391750
Model Checking Software : 20th International Symposium, Spin 2013, Stony Broo...
Model Checking Software 20th International Symposium SPIN 2013 St
Model Checking Software : 20th International Symposium, Spin 2013, Stony Broo...
Chen - Knowledge and Systems Sciences 20th International Symposium - X555z
Bjrner - FM 2015 Formal Methods 20th International Symposium Oslo - X555z
Logozzo - Static Analysis 20th International Symposium SAS 2013 Se - X555z
Biondi - Model Checking Software 26th International Symposium SPIN - X555z