著者典拠情報

著者標目形：
Clarke, E. M.
属性：
Personal
から見よ参照形：
Clarke, Edmund M
注記：
School of Computer Science, Carnegie-Mellon University
著者典拠ID：
DA05951123


1.

図書
図書
1. Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings (: Berlin ; : New York)
E.M. Clarke, R.P. Kurshan, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 531
所蔵情報: 図書館
2.

図書
図書
2. Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 (: AMS ; : ACM)
E.M. Clarke, R.P. Kurshan, editors
出版情報: Providence, RI : American Mathematical Society , Baltimore, Md. : Association for Computing Machinery, c1991
シリーズ名: DIMACS series in discrete mathematics and theoretical computer science ; v. 3
所蔵情報: 図書館