spin 2002: SPIN - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Dragan Bosnacki, Stefan Leue, editors, Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Volume 2318 of Lecture Notes in Computer Science, Springer, 2002.

runs on WebDSL