文献
J-GLOBAL ID:201302290389054367
整理番号:13A1441724
BIPにおけるデッドロック予防のための抽象フレームワーク
An Abstract Framework for Deadlock Prevention in BIP
著者 (6件):
ATTIE Paul C.
(American Univ. Beirut, Beirut, LBN)
,
BENSALEM Saddek
(UJF-Grenoble 1, Grenoble, FRA)
,
BOZGA Marius
(UJF-Grenoble 1, Grenoble, FRA)
,
JABER Mohamad
(American Univ. Beirut, Beirut, LBN)
,
SIFAKIS Joseph
(EPFL, Lausanne, CHE)
,
ZARAKET Fadi A.
(American Univ. Beirut, Beirut, LBN)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7892
ページ:
161-177
発行年:
2013年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)