Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings Graf Susanne Heftet / 2004 / Engelsk
