Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

著者
    • Workshop on Partial Order Methods in Verification ( : 1996 : Princeton University)
    • Peled, Doron
    • Pratt, Vaughan R.
    • Holzmann, Gerard J.
書誌事項

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors

(DIMACS series in discrete mathematics and theoretical computer science, v. 29)

American Mathematical Society, c1997

この図書・雑誌をさがす
注記

Includes bibliographical references

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ