文献
J-GLOBAL ID:201202261035350573
整理番号:12A1091434
代替シミュレーションおよびIOCO
Alternating simulation and IOCO
著者 (2件):
VEANES Margus
(Microsoft Res., Redmond, WA, USA)
,
BJORNER Nikolaj
(Microsoft Res., Redmond, WA, USA)
資料名:
International Journal on Software Tools for Technology Transfer
(International Journal on Software Tools for Technology Transfer)
巻:
14
号:
4
ページ:
387-405
発行年:
2012年08月
JST資料番号:
W1267A
ISSN:
1433-2779
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)