@misc{ christel_baier_probabilistic_????,
  address = {echnical University Dresden},
  title = {Probabilistic {Model} {Checking}},
  url = {http://www.sti.uniurb.it/events/sfm10qapl/slides/baier-sfm-qapl10.pdf},
  urldate = {2015-03-23TZ},
  author = {{Christel Baier}},
  note = {00174}
}

{"_id":"KRDWxWx9ReAbmqBfA","bibbaseid":"christelbaier-probabilisticmodelchecking","downloads":0,"creationDate":"2015-04-22T00:15:36.745Z","title":"Probabilistic Model Checking","author_short":["Christel Baier"],"year":null,"bibtype":"misc","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"address":"echnical University Dresden","author":["Christel Baier"],"author_short":["Christel Baier"],"bibtex":"@misc{ christel_baier_probabilistic_????,\n address = {echnical University Dresden},\n title = {Probabilistic {Model} {Checking}},\n url = {http://www.sti.uniurb.it/events/sfm10qapl/slides/baier-sfm-qapl10.pdf},\n urldate = {2015-03-23TZ},\n author = {{Christel Baier}},\n note = {00174}\n}","bibtype":"misc","id":"christel_baier_probabilistic_????","key":"christel_baier_probabilistic_????","note":"00174","title":"Probabilistic Model Checking","type":"misc","url":"http://www.sti.uniurb.it/events/sfm10qapl/slides/baier-sfm-qapl10.pdf","urldate":"2015-03-23TZ","bibbaseid":"christelbaier-probabilisticmodelchecking","role":"author","urls":{"Paper":"http://www.sti.uniurb.it/events/sfm10qapl/slides/baier-sfm-qapl10.pdf"},"downloads":0},"search_terms":["probabilistic","model","checking","christel baier"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}