文献
J-GLOBAL ID:201902286579517324
整理番号:19A1540298
パラメトリック時間付きオートマトンのための最小時間合成【JST・京大機械翻訳】
Minimal-Time Synthesis for Parametric Timed Automata
著者 (7件):
Andre Etienne
(LIPN, CNRS UMR 7030, Universite Paris 13, Villetaneuse, France)
,
Andre Etienne
(JFLI, CNRS, Tokyo, Japan)
,
Andre Etienne
(National Institute of Informatics, Tokyo, Japan)
,
Bloemen Vincent
(University of Twente, Enschede, The Netherlands)
,
Petrucci Laure
(LIPN, CNRS UMR 7030, Universite Paris 13, Villetaneuse, France)
,
Pol Jaco
(University of Twente, Enschede, The Netherlands)
,
Pol Jaco
(University of Aarhus, Aarhus, Denmark)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
11428
ページ:
211-228
発行年:
2019年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)