Implementation of symbolic model checking for probabilistic systems. Parker, D. & Birmingham, U. o. 2002. bibtex @Book{Parker2002,
author = {Parker, DA and Birmingham, University of},
title = {Implementation of symbolic model checking for probabilistic systems},
volume = {},
pages = {},
editor = {},
publisher = {},
address = {},
year = {2002},
abstract = {},
keywords = {}}
Downloads: 0
{"_id":"6WZXfddBG5y6WwTpH","bibbaseid":"parker-birmingham-implementationofsymbolicmodelcheckingforprobabilisticsystems-2002","authorIDs":[],"author_short":["Parker, D.","Birmingham, U. o."],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Parker"],"firstnames":["DA"],"suffixes":[]},{"propositions":[],"lastnames":["Birmingham"],"firstnames":["University","of"],"suffixes":[]}],"title":"Implementation of symbolic model checking for probabilistic systems","volume":"","pages":"","editor":[{"firstnames":[],"propositions":[],"lastnames":[""],"suffixes":[]}],"publisher":"","address":"","year":"2002","abstract":"","keywords":"","bibtex":"@Book{Parker2002,\nauthor = {Parker, DA and Birmingham, University of}, \ntitle = {Implementation of symbolic model checking for probabilistic systems}, \nvolume = {}, \npages = {}, \neditor = {}, \npublisher = {}, \naddress = {}, \nyear = {2002}, \nabstract = {}, \nkeywords = {}}\n\n","author_short":["Parker, D.","Birmingham, U. o."],"editor_short":[""],"key":"Parker2002","id":"Parker2002","bibbaseid":"parker-birmingham-implementationofsymbolicmodelcheckingforprobabilisticsystems-2002","role":"author","urls":{},"downloads":0},"bibtype":"book","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.744Z","downloads":0,"keywords":[],"search_terms":["implementation","symbolic","model","checking","probabilistic","systems","parker","birmingham"],"title":"Implementation of symbolic model checking for probabilistic systems","year":2002,"dataSources":["hEoKh4ygEAWbAZ5iy"]}