文献
J-GLOBAL ID:201802272986998720
整理番号:18A0393867
組合せと克服:BIPとReoの関係【Powered by NICT】
Combine and conquer: Relating BIP and Reo
著者 (6件):
Dokter Kasper
(Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, Netherlands)
,
Jongmans Sung-Shik
(Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, Netherlands)
,
Jongmans Sung-Shik
(Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Netherlands)
,
Jongmans Sung-Shik
(Radboud University Nijmegen, Toernooiveld 212, 6525 EC, Nijmegen, Netherlands)
,
Arbab Farhad
(Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, Netherlands)
,
Bliudze Simon
(Ecole Polytechnique Federale de Lausanne, Station 14, 1015, Lausanne, Switzerland)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
86
号:
1
ページ:
134-156
発行年:
2017年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)