Showing 1 - 1 results of 1 for search '"DIMACS series in discrete mathematics and theoretical computer science,"', query time: 0.01s Refine Results
  1. 1

    Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /

    Published 1991
    “…DIMACS series in discrete mathematics and theoretical computer science,…”
    Conference Proceeding Book