Towards a Compositional SPIN - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Corina S. Pasareanu, Dimitra Giannakopoulou. Towards a Compositional SPIN. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 234-251, Springer, 2006. [doi]

This author has not been identified. Look up 'Corina S. Pasareanu' in GoogleThis author has not been identified. Look up 'Dimitra Giannakopoulou' in Google

runs on WebDSL