Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990

Edmund M. Clarke, Robert P. Kurshan, editors, Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. Volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1991. [doi]

Conference: dimacs1991

@proceedings{dimacs-1990a,
  title = {Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990},
  year = {1991},
  url = {http://dimacs.rutgers.edu/Volumes/Vol03.html},
  researchr = {https://researchr.org/publication/dimacs-1990a},
  cites = {0},
  citedby = {0},
  booktitle = {Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990},
  conference = {dimacs},
  editor = {Edmund M. Clarke and Robert P. Kurshan},
  volume = {3},
  series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
  publisher = {DIMACS/AMS},
}