文献
J-GLOBAL ID:201002272792598091
整理番号:10A1372906
精密化のために冗長性のある制約条件を使用する
Using Redundant Constraints for Refinement
著者 (4件):
ASARIN Eugene
(Univ. Paris Diderot, Paris, FRA)
,
DANG Thao
(VERIMAG, Gieres, FRA)
,
MALER Oded
(VERIMAG, Gieres, FRA)
,
TESTYLIER Romain
(VERIMAG, Gieres, FRA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6252
ページ:
37-51
発行年:
2010年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)