文献
J-GLOBAL ID:201402270022249362
整理番号:14A0870122
意味論的に強化されたアーチファクトシステムの検証
Verification of Semantically-Enhanced Artifact Systems
著者 (5件):
HARIRI Babak Bagheri
(Free Univ. Bozen-Bolzano)
,
CALVANESE Diego
(Free Univ. Bozen-Bolzano)
,
MONTALI Marco
(Free Univ. Bozen-Bolzano)
,
SANTOSO Ario
(Free Univ. Bozen-Bolzano)
,
SOLOMAKHIN Dmitry
(Free Univ. Bozen-Bolzano)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
8274
ページ:
600-607
発行年:
2013年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)