著者典拠情報

著者標目形：
Dill, David L.
属性：
Personal
注記：
His Trace theory for automatic hierarchical verification of speed-independent circuits, 1989: CIP t.p. (David L. Dill)
著者典拠ID：
DA04374523


1.

図書
図書
1. Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings (: us ; : gw)
David L. Dill (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 818
所蔵情報: 図書館
2.

図書
図書
2. Trace theory for automatic hierarchical verification of speed-independent circuits
David L. Dill
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: ACM distinguished dissertations
所蔵情報: 図書館