@article{journals/entcs/0001KKOGM15,
  added-at = {2015-12-29T00:00:00.000+0100},
  author = {Jansen, Nils and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Olmedo, Federico and Gretz, Friedrich and McIver, Annabelle},
  biburl = {http://www.bibsonomy.org/bibtex/26915c5a3f7074f974936ce14c4c2d35c/dblp},
  ee = {http://dx.doi.org/10.1016/j.entcs.2015.12.013},
  interhash = {c744b7bafa5a7682b4bb964280a3a0c5},
  intrahash = {6915c5a3f7074f974936ce14c4c2d35c},
  journal = {Electr. Notes Theor. Comput. Sci.},
  keywords = {dblp},
  pages = {199-216},
  timestamp = {2015-12-30T11:34:30.000+0100},
  title = {Conditioning in Probabilistic Programming.},
  url = {http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#0001KKOGM15},
  volume = 319,
  year = 2015
}

{"_id":"zczaaWEpPiGJTSG2E","bibbaseid":"jansen-kaminski-katoen-olmedo-gretz-mciver-conditioninginprobabilisticprogramming-2015","downloads":0,"creationDate":"2016-02-23T05:01:37.760Z","title":"Conditioning in Probabilistic Programming.","author_short":["Jansen, N.","Kaminski, B. L.","Katoen, J.","Olmedo, F.","Gretz, F.","McIver, A."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-12-29T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Jansen"],"firstnames":["Nils"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Benjamin","Lucien"],"suffixes":[]},{"propositions":[],"lastnames":["Katoen"],"firstnames":["Joost-Pieter"],"suffixes":[]},{"propositions":[],"lastnames":["Olmedo"],"firstnames":["Federico"],"suffixes":[]},{"propositions":[],"lastnames":["Gretz"],"firstnames":["Friedrich"],"suffixes":[]},{"propositions":[],"lastnames":["McIver"],"firstnames":["Annabelle"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/26915c5a3f7074f974936ce14c4c2d35c/dblp","ee":"http://dx.doi.org/10.1016/j.entcs.2015.12.013","interhash":"c744b7bafa5a7682b4bb964280a3a0c5","intrahash":"6915c5a3f7074f974936ce14c4c2d35c","journal":"Electr. Notes Theor. Comput. Sci.","keywords":"dblp","pages":"199-216","timestamp":"2015-12-30T11:34:30.000+0100","title":"Conditioning in Probabilistic Programming.","url":"http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#0001KKOGM15","volume":"319","year":"2015","bibtex":"@article{journals/entcs/0001KKOGM15,\n added-at = {2015-12-29T00:00:00.000+0100},\n author = {Jansen, Nils and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Olmedo, Federico and Gretz, Friedrich and McIver, Annabelle},\n biburl = {http://www.bibsonomy.org/bibtex/26915c5a3f7074f974936ce14c4c2d35c/dblp},\n ee = {http://dx.doi.org/10.1016/j.entcs.2015.12.013},\n interhash = {c744b7bafa5a7682b4bb964280a3a0c5},\n intrahash = {6915c5a3f7074f974936ce14c4c2d35c},\n journal = {Electr. Notes Theor. Comput. Sci.},\n keywords = {dblp},\n pages = {199-216},\n timestamp = {2015-12-30T11:34:30.000+0100},\n title = {Conditioning in Probabilistic Programming.},\n url = {http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#0001KKOGM15},\n volume = 319,\n year = 2015\n}\n\n","author_short":["Jansen, N.","Kaminski, B. L.","Katoen, J.","Olmedo, F.","Gretz, F.","McIver, A."],"key":"journals/entcs/0001KKOGM15","id":"journals/entcs/0001KKOGM15","bibbaseid":"jansen-kaminski-katoen-olmedo-gretz-mciver-conditioninginprobabilisticprogramming-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.entcs.2015.12.013","Paper":"http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#0001KKOGM15"},"keyword":["dblp"],"downloads":0},"search_terms":["conditioning","probabilistic","programming","jansen","kaminski","katoen","olmedo","gretz","mciver"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}