文献

J-GLOBAL ID：200902271351214916   整理番号：05A0296909

分散型LTLモデルチェックにおける前任者の受入は後縁より良い

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

著者 (4件)： BRIM L (Masaryk Univ. Brno, CZE) ,  CERNA I (Masaryk Univ. Brno, CZE) ,  MORAVEC P (Masaryk Univ. Brno, CZE) ,  SIMSA J (Masaryk Univ. Brno, CZE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3312  ページ： 352-366  発行年： 2004年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： モデル ,  チェック ,  受入 ,  後縁