文献
J-GLOBAL ID：201302210992711450   整理番号：13A0791617

簡潔システムの合成

Synthesis of Succinct Systems
著者 (3件)：
FEARNLEY John

FEARNLEY John について

(Univ. Liverpool, Liverpool, GBR)

Univ. Liverpool, Liverpool, GBR について

, 
PELED Doron

PELED Doron について

(Bar Ilan Univ., Ramat Gan, ISR)

Bar Ilan Univ., Ramat Gan, ISR について

, 
SCHEWE Sven

SCHEWE Sven について

(Univ. Liverpool, Liverpool, GBR)

Univ. Liverpool, Liverpool, GBR について


資料名：
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

Lecture Notes in Computer Science について


巻： 7561  ページ： 208-222  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM