CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation
-
- ISOBE Yoshinao
- National Institute of Advanced Industrial Science and Technology
Bibliographic Information
- Title
- CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation
- Author
- 磯部祥尚
Journal
-
- Communicating, Process Architectures 2011(WoTUG-33, IOS Press) (掲載確定)
-
Communicating, Process Architectures 2011(WoTUG-33, IOS Press) (掲載確定) 22-, 2011
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782038995072
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN