文献

J-GLOBAL ID：201302215681694448   整理番号：13A0410793

μ計算キャラクタリゼーションを介した命題義務時間論理のモデル検査

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization

著者 (6件)： ACOSTA Araceli (Universidad Nacional de Cordoba, Cordoba, ARG) ,  KILMURRAY Cecilia (Universidad Nacional de Rio Cuarto, Rio Cuarto, ARG) ,  CASTRO Pablo F. (Universidad Nacional de Rio Cuarto, Rio Cuarto, ARG) ,  CASTRO Pablo F. (Consejo Nacional de Investigaciones Cientificas y Tecnicas (CONICET), ARG) ,  AGUIRRE Nazareno M. (Universidad Nacional de Rio Cuarto, Rio Cuarto, ARG) ,  AGUIRRE Nazareno M. (Consejo Nacional de Investigaciones Cientificas y Tecnicas (CONICET), ARG)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7498  ページ： 3-18  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： 計算 ,  キャラクタリゼーション ,  命題 ,  義務 ,  時間論理 ,  モデル検査