Similar Listings
Model Checking Software - 9783319325811
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located...
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located...
Chao - Algorithms and Computation 23rd International Symposium ISAA - X555z
Bartocci - Model Checking Software 20th International Symposium SPI - X555z
Gallardo - Model Checking Software 25th International Symposium SPI - X555z
Laarman - Model Checking Software 27th International Symposium SPIN - X555z
Biondi - Model Checking Software 26th International Symposium SPIN - X555z