Model Checking Software 11th International SPIN Workshop Barcelon

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

Shishkov - Business Modeling and Software Design 11th International - X555z

Cabello - Software Technologies 11th International Joint Conference - X555z

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