CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation
-
- 磯部 祥尚
- 独立行政法人産業技術総合研究所
書誌事項
- タイトル
- CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation
- 著者
- 磯部祥尚
収録刊行物
-
- Communicating, Process Architectures 2011(WoTUG-33, IOS Press) (掲載確定)
-
Communicating, Process Architectures 2011(WoTUG-33, IOS Press) (掲載確定) 22-, 2011
- Tweet
詳細情報
-
- CRID
- 1010000782038995072
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN