文献
J-GLOBAL ID:201202259024125050
整理番号:12A0168199
マルチパーティ契約のためのトレースベースモデル
A trace-based model for multiparty contracts
著者 (3件):
HVITVED Tom
(Dep. of Computer Sci., Univ. of Copenhagen, DNK)
,
KLAEDTKE Felix
(Computer Sci. Dep., ETH Zurich, CHE)
,
ZALINESCU Eugen
(Computer Sci. Dep., ETH Zurich, CHE)
資料名:
Journal of Logic and Algebraic Programming
(Journal of Logic and Algebraic Programming)
巻:
81
号:
2
ページ:
72-98
発行年:
2012年02月
JST資料番号:
W1593A
ISSN:
1567-8326
資料種別:
逐次刊行物 (A)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)