Showing 1 - 1 results of 1 for search 'Kurshan, R. P.', query time: 0.02s Refine Results
  1. 1
    Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
    Published 1991
    Other Authors: “…Kurshan, R. P.…”
    Book
Search Tools: RSS Feed – Email Search