Symmetry reduction for probabilistic model checking

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages234-248
Number of pages15
Publication statusPublished - 1 Jan 2006
Event18th International Conference on Computer Aided Verification, Aug 17-20, 2006. Seattle, Wa -
Duration: 1 Jan 2006 → …

Conference

Conference18th International Conference on Computer Aided Verification, Aug 17-20, 2006. Seattle, Wa
Period1/01/06 → …