FEEDBACK Smiley face

Your search returned 4 results. Subscribe to this search

|
1. Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] :5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings /

by Dams, Dennis [editor.] | Gerth, Rob [editor.] | Leue, Stefan [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

2. Model Checking Software [electronic resource] :9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings /

by Bošnački, Dragan [editor.] | Leue, Stefan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available

3. Scenarios: Models, Transformations and Tools [electronic resource] :International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /

by Leue, Stefan [editor.] | Systä, Tarja Johanna [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: No items available

4. Formal Methods for Industrial Critical Systems [electronic resource] :12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

by Leue, Stefan [editor.] | Merino, Pedro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in