文献
J-GLOBAL ID:201202261733870678
整理番号:12A0827937
ルールベースシステムの集塊可能性抽象化
Lumpability abstractions of rule-based systems
著者 (4件):
FERET Jerome
(LIENS (INRIA/ENS/CNRS), Paris, FRA)
,
HENZINGER Thomas
(IST Austria, Klosterneuburg, AUT)
,
KOEPPL Heinz
(ETH Zuerich, Zuerich, CHE)
,
PETROV Tatjana
(ETH Zuerich, Zuerich, CHE)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
431
ページ:
137-164
発行年:
2012年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)