Symmetry reduction for probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	234-248
Number of pages	15
Publication status	Published - 1 Jan 2006
Event	18th International Conference on Computer Aided Verification, Aug 17-20, 2006. Seattle, Wa - Duration: 1 Jan 2006 → …

Conference	18th International Conference on Computer Aided Verification, Aug 17-20, 2006. Seattle, Wa
Period	1/01/06 → …

Cite this

@conference{3ed6692d3a004f07bdc2467ab767154b,

title = "Symmetry reduction for probabilistic model checking",

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

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "234--248",

note = "18th International Conference on Computer Aided Verification, Aug 17-20, 2006. Seattle, Wa ; Conference date: 01-01-2006",

}