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

Bosnacki - Model Checking Software 14th International SPIN Workshop - X555z

Godefroid - Model Checking Software 12th International SPIN Workshop - X555z

Graf - Model Checking Software 11th International SPIN Workshop Bar - X555z

Groce - Model Checking Software 18th International SPIN Workshop Sn - X555z

Dwyer - Model Checking Software 8th International SPIN Workshop Tor - X555z

Ball - Model Checking Software 10th International SPIN Workshop. Por - X555z

Laarman - Model Checking Software 27th International Symposium SPIN - X555z