文献
J-GLOBAL ID：200902076513227912   整理番号：92A0631748

A polynomial-time algorithm to decide liveness of bounded free choice nets.

著者 (2件)：
ESPARZA J

ESPARZA J について

(Univ. Hildesheim, Hildesheim, DEU)

Univ. Hildesheim, Hildesheim, DEU について

, 
SILVA M

SILVA M について

(Centro Polit<span style=text-decoration:overline>e ́</span>cnico Superior, Zaragoza, ESP)

Centro Polit<span style=text-decoration:overline>e ́</span>cnico Superior, Zaragoza, ESP について


資料名：
Theoretical Computer Science  (Theoretical Computer Science)

Theoretical Computer Science について


巻： 102  号： 1  ページ： 185-205  発行年： 1992年08月03日 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)
タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
NETs

NETs について


前のページに戻る

TOP

BOTTOM