Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,
著者
書誌事項
Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,
(DIMACS series in discrete mathematics and theoretical computer science, v. 29)
American Mathematical Society, c1997
大学図書館所蔵 全12件
注記
Includes bibliographical references