@inproceedings{conf/dimacs/BouajjaniFH90,
  added-at = {2016-01-12T00:00:00.000+0100},
  author = {Bouajjani, Ahmed and Fernandez, Jean-Claude and Halbwachs, Nicolas},
  biburl = {http://www.bibsonomy.org/bibtex/225094effb8e750844550326c7989a99f/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 = {11067c233da9b97837f2201bb9649e48},
  intrahash = {25094effb8e750844550326c7989a99f},
  keywords = {dblp},
  pages = {85-92},
  publisher = {DIMACS/AMS},
  series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
  timestamp = {2016-01-13T12:06:56.000+0100},
  title = {Minimal Model Generation.},
  url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#BouajjaniFH90},
  volume = 3,
  year = 1990
}

{"_id":"E6YgQSwgQCiFkGyjK","bibbaseid":"bouajjani-fernandez-halbwachs-minimalmodelgeneration-1990","downloads":0,"creationDate":"2016-02-17T10:30:05.633Z","title":"Minimal Model Generation.","author_short":["Bouajjani, A.","Fernandez, J.","Halbwachs, N."],"year":1990,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/\"ahmed shamsul arefin\"?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bouajjani"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Fernandez"],"firstnames":["Jean-Claude"],"suffixes":[]},{"propositions":[],"lastnames":["Halbwachs"],"firstnames":["Nicolas"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/225094effb8e750844550326c7989a99f/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":"11067c233da9b97837f2201bb9649e48","intrahash":"25094effb8e750844550326c7989a99f","keywords":"dblp","pages":"85-92","publisher":"DIMACS/AMS","series":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","timestamp":"2016-01-13T12:06:56.000+0100","title":"Minimal Model Generation.","url":"http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#BouajjaniFH90","volume":"3","year":"1990","bibtex":"@inproceedings{conf/dimacs/BouajjaniFH90,\n added-at = {2016-01-12T00:00:00.000+0100},\n author = {Bouajjani, Ahmed and Fernandez, Jean-Claude and Halbwachs, Nicolas},\n biburl = {http://www.bibsonomy.org/bibtex/225094effb8e750844550326c7989a99f/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 = {11067c233da9b97837f2201bb9649e48},\n intrahash = {25094effb8e750844550326c7989a99f},\n keywords = {dblp},\n pages = {85-92},\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 = {Minimal Model Generation.},\n url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#BouajjaniFH90},\n volume = 3,\n year = 1990\n}\n\n","author_short":["Bouajjani, A.","Fernandez, J.","Halbwachs, N."],"editor_short":["Clarke, E. M.","Kurshan, R. P."],"key":"conf/dimacs/BouajjaniFH90","id":"conf/dimacs/BouajjaniFH90","bibbaseid":"bouajjani-fernandez-halbwachs-minimalmodelgeneration-1990","role":"author","urls":{"Link":"http://dimacs.rutgers.edu/Volumes/Vol03.html","Paper":"http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#BouajjaniFH90"},"keyword":["dblp"],"downloads":0},"search_terms":["minimal","model","generation","bouajjani","fernandez","halbwachs"],"keywords":["dblp"],"authorIDs":[],"dataSources":["XA98H7MrAfSrDfP6g"]}