Godefroid, Patrice

ID:DA09653706

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Patrice Godefroid (ed.)

Springer c2005 Lecture notes in computer science 3639

所蔵館13館
2

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Patrice Godefroid

Springer c1996 Lecture notes in computer science 1032

所蔵館55館

この著者を外部サイトでさがす

関連著者

SPIN

ページトップへ