Probabilistic symbolic model checking with PRISM: A hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to journal › Article

215 Citations (Scopus)

Original language	English
Pages (from-to)	128-142
Number of pages	15
Journal	International Journal on Software Tools for Technology Transfer
Volume	6
Issue number	2
Publication status	Published - 1 Jan 2004

Cite this

@article{40dd5b753fe945ee8eab03cb73983f4d,

title = "Probabilistic symbolic model checking with PRISM: A hybrid approach",

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

year = "2004",

month = jan,

day = "1",

language = "English",

volume = "6",

pages = "128--142",

journal = "International Journal on Software Tools for Technology Transfer",

publisher = "Springer",

number = "2",

}