Model Checking Software 18th International SPIN Workshop Snowbird

Model Checking Software - 9783642223051

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

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

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

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