Biondi - Model Checking Software 26th International Symposium SPIN - X555z

Bartocci - Model Checking Software 20th International Symposium SPI - X555z

Pasareanu - Model Checking Software - New paperback or softback - X555z

Feuling - REPEATABILITY RELIABILITY SCALABILITY THROUGH GITOPS Contin - X555z

Donaldson - Model Checking Software 19th International SPIN Workshop - X555z

Neat - Maximizing Performance and Scalability with IBM Websphere - New - X555z

Bonacki - Model Checking Software 23rd International Symposium SPI - X555z

Acetozi - Pro Java Clustering and Scalability Building Real-Time App - X555z