文献
J-GLOBAL ID:201102265142605507
整理番号:11A0419863
平均給与自動化表現
Mean-Payoff Automaton Expressions
著者 (8件):
CHATTERJEE Krishnendu
(Inst. Sci. and Technol. Austria)
,
DOYEN Laurent
(ENS Cachan, FRA)
,
EDELSBRUNNER Herbert
(Inst. Sci. and Technol. Austria)
,
HENZINGER Thomas A.
(Inst. Sci. and Technol. Austria)
,
HENZINGER Thomas A.
(EPFL Lausanne, CHE)
,
RANNOU Philippe
(ENS Cachan, FRA)
,
RANNOU Philippe
(EPFL Lausanne, CHE)
,
RANNOU Philippe
(ENS Cachan Bretagne, Rennes, FRA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
6269
ページ:
269-283
発行年:
2010年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)