文献
J-GLOBAL ID:200902137335580777
整理番号:95A0809279
1-安全ネットに対する計算量の結果
Complexity results for 1-safe nets.
著者 (3件):
CHENG A
(Aarhus Univ., Aarhus, DNK)
,
ESPARZA J
(Technische Univ. Muenchen, Muenchen, DEU)
,
PALSBERG J
(Aarhus Univ., Aarhus, DNK)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
147
号:
1/2
ページ:
117-136
発行年:
1995年08月07日
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)