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

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

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

Valmari - Model Checking Software 13th International SPIN Workshop - X555z

Hierons - Software Engineering and Formal Methods 11th International - 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