The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
著者
書誌事項
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
（DIMACS series in discrete mathematics and theoretical computer science, v. 32）
American Mathematical Society, c1997
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Workshop held at Rutgers Univ. in New Brunswick, N.J
Includes bibliographical references
