文献
J-GLOBAL ID:200902076513227912
整理番号:92A0631748
A polynomial-time algorithm to decide liveness of bounded free choice nets.
著者 (2件):
ESPARZA J
(Univ. Hildesheim, Hildesheim, DEU)
,
SILVA M
(Centro Polit<span style=text-decoration:overline>e ́</span>cnico Superior, Zaragoza, ESP)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
102
号:
1
ページ:
185-205
発行年:
1992年08月03日
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)