Model checking based data retrieval
: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)
ISBN 978-3-540-24603-9
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 11th International SPIN Workshop, Barcelona, Spain, April 1- 3, 2004. Susanne Graf ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2989)
ISBN 978-3-540-24732-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 11th International SPIN Workshop, Barcelona, Spain, April 1- 3, 2004. Susanne Graf ; Laurent Mounier (ed.). - Berlin : Springer, 2004. - X, 307 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2989)
ISBN 978-3-540-21314-7 / 3-540-21314-7 kart. : EUR 51.36
Literaturangaben
Quelle: DNB
Model checking software
: proceedings / 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. D. Bos̆nac̆ki ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2318)
ISBN 978-3-540-46017-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 8th International SPIN Workshop, Toronto, Canada, May 19 - 20, 2001. M. B. Dwyer (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2057)
ISBN 978-3-540-45139-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12, 2008. Klaus Havelund ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5156)
ISBN 978-3-540-85114-1
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007. Dragan Bošnački ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4595)
ISBN 978-3-540-73370-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Antti Valmari (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3925)
ISBN 978-3-540-33103-2
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005. Patrice Godefroid (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3639)
ISBN 978-3-540-31899-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003. Thomas Ball ; Sriram K. Rajamani (ed.). - Berlin : Springer, 2003. - VIII, 239 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2648)
ISBN 978-3-540-40117-9 / 3-540-40117-2 kart. : EUR 40.66
Literaturangaben
Quelle: DNB
