@inproceedings{conf/cmsb/NigamDKMT15,
  added-at = {2015-09-02T00:00:00.000+0200},
  author = {Nigam, Vivek and Donaldson, Robin and Knapp, Merrill and McCarthy, Tim and Talcott, Carolyn L.},
  biburl = {http://www.bibsonomy.org/bibtex/228e8cca2099b3d2bdb3c4c6f1d73463b/dblp},
  booktitle = {CMSB},
  crossref = {conf/cmsb/2015},
  editor = {Roux, Olivier F. and Bourdon, Jérémie},
  ee = {http://dx.doi.org/10.1007/978-3-319-23401-4_9},
  interhash = {6c67050a673815d87ea46b4a1eb0856a},
  intrahash = {28e8cca2099b3d2bdb3c4c6f1d73463b},
  isbn = {978-3-319-23400-7},
  keywords = {dblp},
  pages = {90-103},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2015-09-04T11:33:47.000+0200},
  title = {Inferring Executable Models from Formalized Experimental Evidence.},
  url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#NigamDKMT15},
  volume = 9308,
  year = 2015
}

{"_id":"GWxBrczvoLCniGK6p","bibbaseid":"nigam-donaldson-knapp-mccarthy-talcott-inferringexecutablemodelsfromformalizedexperimentalevidence-2015","downloads":0,"creationDate":"2016-02-09T06:00:29.166Z","title":"Inferring Executable Models from Formalized Experimental Evidence.","author_short":["Nigam, V.","Donaldson, R.","Knapp, M.","McCarthy, T.","Talcott, C. L."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Vivek Krishnakumar?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-09-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Nigam"],"firstnames":["Vivek"],"suffixes":[]},{"propositions":[],"lastnames":["Donaldson"],"firstnames":["Robin"],"suffixes":[]},{"propositions":[],"lastnames":["Knapp"],"firstnames":["Merrill"],"suffixes":[]},{"propositions":[],"lastnames":["McCarthy"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Talcott"],"firstnames":["Carolyn","L."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/228e8cca2099b3d2bdb3c4c6f1d73463b/dblp","booktitle":"CMSB","crossref":"conf/cmsb/2015","editor":[{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier","F."],"suffixes":[]},{"propositions":[],"lastnames":["Bourdon"],"firstnames":["Jérémie"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-23401-4_9","interhash":"6c67050a673815d87ea46b4a1eb0856a","intrahash":"28e8cca2099b3d2bdb3c4c6f1d73463b","isbn":"978-3-319-23400-7","keywords":"dblp","pages":"90-103","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2015-09-04T11:33:47.000+0200","title":"Inferring Executable Models from Formalized Experimental Evidence.","url":"http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#NigamDKMT15","volume":"9308","year":"2015","bibtex":"@inproceedings{conf/cmsb/NigamDKMT15,\n added-at = {2015-09-02T00:00:00.000+0200},\n author = {Nigam, Vivek and Donaldson, Robin and Knapp, Merrill and McCarthy, Tim and Talcott, Carolyn L.},\n biburl = {http://www.bibsonomy.org/bibtex/228e8cca2099b3d2bdb3c4c6f1d73463b/dblp},\n booktitle = {CMSB},\n crossref = {conf/cmsb/2015},\n editor = {Roux, Olivier F. and Bourdon, Jérémie},\n ee = {http://dx.doi.org/10.1007/978-3-319-23401-4_9},\n interhash = {6c67050a673815d87ea46b4a1eb0856a},\n intrahash = {28e8cca2099b3d2bdb3c4c6f1d73463b},\n isbn = {978-3-319-23400-7},\n keywords = {dblp},\n pages = {90-103},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2015-09-04T11:33:47.000+0200},\n title = {Inferring Executable Models from Formalized Experimental Evidence.},\n url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#NigamDKMT15},\n volume = 9308,\n year = 2015\n}\n\n","author_short":["Nigam, V.","Donaldson, R.","Knapp, M.","McCarthy, T.","Talcott, C. L."],"editor_short":["Roux, O. F.","Bourdon, J."],"key":"conf/cmsb/NigamDKMT15","id":"conf/cmsb/NigamDKMT15","bibbaseid":"nigam-donaldson-knapp-mccarthy-talcott-inferringexecutablemodelsfromformalizedexperimentalevidence-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-23401-4_9","Paper":"http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#NigamDKMT15"},"keyword":["dblp"],"downloads":0},"search_terms":["inferring","executable","models","formalized","experimental","evidence","nigam","donaldson","knapp","mccarthy","talcott"],"keywords":["dblp"],"authorIDs":[],"dataSources":["MhetGwzdnqQv3dJWT"]}