1996年
Extension of Synthesis Algorithm to Recursive Processes by μ-calculus
Information Processing Letters
- ,
- ,
- 巻
- 58
- 号
- 2
- 開始ページ
- 97
- 終了ページ
- 104
- DOI
- 10.1016/0020-0190(96)00038-5
- リンク情報
- ID情報
-
- DOI : 10.1016/0020-0190(96)00038-5
- ISSN : 0020-0190
- CiNii Articles ID : 80008982751