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
同姓同名の著者を検索
Alfons Laarman, Ana Sokolova (eds.)
Springer c2021 Lecture notes in computer science 12864 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
所蔵館1館
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
所蔵館4館
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
所蔵館6館
Antti Valmari (ed.)
Springer c2006 Lecture notes in computer science 3925
所蔵館10館
Patrice Godefroid (ed.)
Springer c2005 Lecture notes in computer science 3639
所蔵館13館
Susanne Graf, Laurent Mounier (eds.)
Springer c2004 Lecture notes in computer science 2989
pbk.
所蔵館22館
Thomas Ball, Sriram K. Rajamani (eds.)
Springer c2003 Lecture notes in computer science 2648
所蔵館25館
Dragan Bošnački, Stefan Leue (eds.)
Springer c2002 Lecture notes in computer science 2318
所蔵館34館
Matthew Dwyer (ed.)
Springer c2001 Lecture notes in computer science 2057
所蔵館35館
Klaus Havelund, John Penix, Willem Visser (eds.)
Springer c2000 Lecture notes in computer science 1885
所蔵館32館
Dennis Dams ... [et al.], (eds.)
Springer c1999 Lecture notes in computer science 1680
所蔵館31館