Art

J-GLOBAL ID：200902212467884173   Reference number：06A0730445

Symmetry Reduction for Probabilistic Model Checking

確率的モデル・チェッキングのための対称性低減

Author (3)： KWIATKOWSKA Marta (Univ. Birmingham, Birmingham, GBR) ,  NORMAN Gethin (Univ. Birmingham, Birmingham, GBR) ,  PARKER David (Univ. Birmingham, Birmingham, GBR)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 4144  Page： 234-248  Publication year： 2006 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (2)： 確率的モデル ,  対称性