Normal view
MARC view
- Kurshan, R. P.,
Kurshan, R. P., 1943- (Personal Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science) 25594, Computer-aided verification '90 :, 1991.