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.
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
{"_id":"7dt97q4nvhD2GWsND","bibbaseid":"roy-desimone-autoautograph-1990","downloads":0,"creationDate":"2016-02-03T13:02:26.093Z","title":"Auto/Autograph.","author_short":["Roy, V.","de Simone, R."],"year":1990,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/simon steyskal?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Roy"],"firstnames":["Valérie"],"suffixes":[]},{"propositions":["de"],"lastnames":["Simone"],"firstnames":["Robert"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2b93ef2b61dfbe897c0a18fde3af2dcb4/dblp","booktitle":"Computer-Aided Verification","crossref":"conf/dimacs/1990a","editor":[{"propositions":[],"lastnames":["Clarke"],"firstnames":["Edmund","M."],"suffixes":[]},{"propositions":[],"lastnames":["Kurshan"],"firstnames":["Robert","P."],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/dimacs/RoyS90,\n added-at = {2016-01-12T00:00:00.000+0100},\n author = {Roy, Valérie and de Simone, Robert},\n biburl = {http://www.bibsonomy.org/bibtex/2b93ef2b61dfbe897c0a18fde3af2dcb4/dblp},\n booktitle = {Computer-Aided Verification},\n crossref = {conf/dimacs/1990a},\n editor = {Clarke, Edmund M. and Kurshan, Robert P.},\n ee = {http://dimacs.rutgers.edu/Volumes/Vol03.html},\n interhash = {86638ebb2f77296fc66080e8b8f0230e},\n intrahash = {b93ef2b61dfbe897c0a18fde3af2dcb4},\n keywords = {dblp},\n pages = {477-492},\n publisher = {DIMACS/AMS},\n series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},\n timestamp = {2016-01-13T12:06:56.000+0100},\n title = {Auto/Autograph.},\n url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#RoyS90},\n volume = 3,\n year = 1990\n}\n\n","author_short":["Roy, V.","de Simone, R."],"editor_short":["Clarke, E. M.","Kurshan, R. P."],"key":"conf/dimacs/RoyS90","id":"conf/dimacs/RoyS90","bibbaseid":"roy-desimone-autoautograph-1990","role":"author","urls":{"Link":"http://dimacs.rutgers.edu/Volumes/Vol03.html","Paper":"http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#RoyS90"},"keyword":["dblp"],"downloads":0},"search_terms":["auto","autograph","roy","de simone"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcMBJkGk4FzM4bdJY"]}