ID:DA12844906
International SPIN Workshop on Theoretical Aspects of Model Checking
International Workshop on SPIN Model Checking
International SPIN Workshop
SPIN Workshop, International
International SPIN Workshop on Practical Aspects of Model Checking
Search authors sharing the same name
Alfons Laarman, Ana Sokolova (eds.)
Springer c2021 Lecture notes in computer science 12864 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
María del Mar Gallardo, Pedro Merino (eds.)
Springer c2018 Lecture notes in computer science 10869 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Jaco van de Pol, Michael Weber (eds.)
Springer c2010 Lecture notes in computer science 6349
Corina S. Păsăreanu (ed.)
Springer c2009 Lecture notes in computer science 5578
Available at 4 libraries
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Springer c2008 Lecture notes in computer science 5156
Dragan Bošnački, Stefan Edelkamp (eds.)
Springer c2007 Lecture notes in computer science 4595
Available at 6 libraries
Antti Valmari (ed.)
Springer c2006 Lecture notes in computer science 3925
Available at 10 libraries
Patrice Godefroid (ed.)
Springer c2005 Lecture notes in computer science 3639
Available at 13 libraries
Susanne Graf, Laurent Mounier (eds.)
Springer c2004 Lecture notes in computer science 2989
pbk.
Available at 22 libraries
Thomas Ball, Sriram K. Rajamani (eds.)
Springer c2003 Lecture notes in computer science 2648
Available at 25 libraries
Dragan Bošnački, Stefan Leue (eds.)
Springer c2002 Lecture notes in computer science 2318
Available at 34 libraries
Matthew Dwyer (ed.)
Springer c2001 Lecture notes in computer science 2057
Available at 35 libraries
Klaus Havelund, John Penix, Willem Visser (eds.)
Springer c2000 Lecture notes in computer science 1885
Available at 32 libraries
Dennis Dams ... [et al.], (eds.)
Springer c1999 Lecture notes in computer science 1680
Available at 31 libraries