OREGON STATE UNIVERSITY

You are here

Biblio

Found 1 results
Filters: Author is Madanlal Musuvathi  [Clear All Filters]
2011
Groce, A., and M. Musuvathi, Model Checking Software: Proceedings of the 18th International SPIN Workshop, , vol. 6823, Berlin, Heidelberg, Springer Berlin Heidelberg, 2011.