Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

著者

    • Bošnački, Dragan
    • Leue, Stefan

書誌事項

Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

Dragan Bošnački, Stefan Leue (eds.)

(Lecture notes in computer science, 2318)

Springer, c2002

大学図書館所蔵 件 / 34

この図書・雑誌をさがす

注記

Includes bibliographies and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ