著者典拠情報

著者標目形：
SPIN
属性：
Meeting
場所：
Monteréal;New Brunswick;Enschede;Paris;Trento, Italy;Toulouse, France;Stanford, Calif.;Toronto;Barcelona;
日付：
1995;1996;1997;1998;1999;2000;2001;2004;
から見よ参照形：
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
注記：
SRC:Theoretical and practical aspects of SPIN model checking, c1999: t.p. (5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999) pref. (5th International SPIN Workshop on Theoretical Aspects of Model Checking (5thSPIN99); 6th International SPIN Workshop on Practical Aspects of Model Checking (6thSPIN99)) spine (SPIN'99)
EDSRC:SPIN model checking and software verification, c2000: t.p. (7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000) spine (SPIN 2000)
EDSRC:Model checking software, c2001: t.p. (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001) spine (SPIN 2001)
著者典拠ID：
DA12844906


1.

図書
図書
1. Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Thomas Ball, Sriram K. Rajamani (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2648
所蔵情報: 図書館
2.

図書
図書
2. Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Dragan Bošnački, Stefan Leue (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2318
所蔵情報: 図書館
3.

図書
図書
3. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Matthew Dwyer (ed.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2057
所蔵情報: 図書館
4.

図書
図書
4. SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Klaus Havelund, John Penix, Willem Visser (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1885
所蔵情報: 図書館