文献
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)