PRISM 2.0: A tool for probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished) › Paper

122 Citations (Scopus)

Original language	English
Pages	322-323
Number of pages	2
Publication status	Published - 1 Jan 2004
Event	1st International Conference on Quantative Evaluation of Systems - Duration: 1 Jan 2004 → …

Conference	1st International Conference on Quantative Evaluation of Systems
Period	1/01/04 → …

Cite this

@conference{53374d319c5747b4abf3880c7fd22e9d,

title = "PRISM 2.0: A tool for probabilistic model checking",

author = "Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "322--323",

note = "1st International Conference on Quantative Evaluation of Systems ; Conference date: 01-01-2004",

}