Auto/Autograph. Roy, V. & de Simone, R. In Clarke, E. M. & Kurshan, R. P., editors, Computer-Aided Verification, volume 3, of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 477-492, 1990. DIMACS/AMS.
Auto/Autograph. [link]Link  Auto/Autograph. [link]Paper  bibtex   
@inproceedings{conf/dimacs/RoyS90,
  added-at = {2016-01-12T00:00:00.000+0100},
  author = {Roy, Valérie and de Simone, Robert},
  biburl = {http://www.bibsonomy.org/bibtex/2b93ef2b61dfbe897c0a18fde3af2dcb4/dblp},
  booktitle = {Computer-Aided Verification},
  crossref = {conf/dimacs/1990a},
  editor = {Clarke, Edmund M. and Kurshan, Robert P.},
  ee = {http://dimacs.rutgers.edu/Volumes/Vol03.html},
  interhash = {86638ebb2f77296fc66080e8b8f0230e},
  intrahash = {b93ef2b61dfbe897c0a18fde3af2dcb4},
  keywords = {dblp},
  pages = {477-492},
  publisher = {DIMACS/AMS},
  series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
  timestamp = {2016-01-13T12:06:56.000+0100},
  title = {Auto/Autograph.},
  url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#RoyS90},
  volume = 3,
  year = 1990
}

Downloads: 0