| LC control no. | n 91023241 |
|---|---|
| Personal name heading | Kurshan, R. P., 1943- |
| Variant(s) | Kurshan, Robert P., 1943- |
| Found in | DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification '90, 1991: CIP t.p. (R.P. Kurshan) data sheet (b. 11-3-43) DIMACS Workshop on Computer-Aided Verification (1990 : Ctr. for Discr. Math. and Theor. Comp. Science). Computer-aided verification, c1991: CIP t.p. (R.P. Kurshan) verso (Robert P. Kurshan; AT&T Bell Labs., Murray Hill, NJ) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
