Publications 2004

Books

1. 11th International SPIN Workshop on Model Checking of Software, 2004. Susanne Graf, Laurent Mounier (eds.), Lecture Notes in Computer Science, 2004. (more) download

Misc

1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. IF Tutorial. Presented at the 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain, April 2004. (more)