文献
J-GLOBAL ID:201102217913171461
整理番号:11A0467854
多パラメータ型システムのためのカットオフの自動化
Automating Cut-off for Multi-parameterized Systems
著者 (4件):
HANNA Youssef
(Iowa State Univ., IA, USA)
,
SAMUELSON David
(Iowa State Univ., IA, USA)
,
BASU Samik
(Iowa State Univ., IA, USA)
,
RAJAN Hridesh
(Iowa State Univ., IA, USA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6447
ページ:
338-354
発行年:
2010年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)