{"_id":"SbbZhdhQet3XwfFZB","bibbaseid":"kwiatkowska-norman-parker-prismprobabilisticmodelcheckingforperformanceandreliabilityanalysis-2009","downloads":0,"creationDate":"2016-07-28T14:19:17.305Z","title":"PRISM: Probabilistic Model Checking for Performance and Reliability Analysis","author_short":["Kwiatkowska, M.","Norman, G.","Parker, D."],"year":2009,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/2237578/bibliografia.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Kwiatkowska"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Norman"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Parker"],"suffixes":[]}],"journal":"ACM SIGMETRICS Performance Evaluation Review","number":"4","pages":"40-45","title":"PRISM: Probabilistic Model Checking for Performance and Reliability Analysis","volume":"36","year":"2009","bibtex":"@article{Kwiatkowska:2009,\n\tAuthor = {M. Kwiatkowska and G. Norman and D. Parker},\n\tJournal = {ACM SIGMETRICS Performance Evaluation Review},\n\tNumber = {4},\n\tPages = {40-45},\n\tTitle = {PRISM: Probabilistic Model Checking for Performance and Reliability Analysis},\n\tVolume = {36},\n\tYear = {2009}}\n\n","author_short":["Kwiatkowska, M.","Norman, G.","Parker, D."],"key":"Kwiatkowska:2009","id":"Kwiatkowska:2009","bibbaseid":"kwiatkowska-norman-parker-prismprobabilisticmodelcheckingforperformanceandreliabilityanalysis-2009","role":"author","urls":{},"downloads":0},"search_terms":["prism","probabilistic","model","checking","performance","reliability","analysis","kwiatkowska","norman","parker"],"keywords":[],"authorIDs":[],"dataSources":["iDjj3P8hS2bETXLYW"]}