著者典拠情報

著者標目形：
Kurshan, R. P., 1943-
属性：
Personal
日付：
1943
から見よ参照形：
Kurshan, Robert P
注記：
AT&T Bell Laboratories, Mathematical Science Research Center
著者典拠ID：
DA05951203


1.

図書
図書
1. Verification of digital and hybrid systems
edited by M. Kemal Inan, Robert P. Kurshan
出版情報: Berlin : Springer, c2000
シリーズ名: NATO ASI series ; Series F, Computer and systems sciences ; no. 170
所蔵情報: 図書館
2.

図書
図書
2. Computer-aided verification of coordinating processes : the automata-theoretic approach
Robert P. Kurshan
出版情報: Princeton, N.J. : Princeton University Press, c1994
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館