1997年
On a Concurrency calculus for design of mobile telecommunication systems
- 出版者・発行元
- Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X/PSTV XVII'97, Chapman & Hall
安藤 敏彦
アンドウ トシヒコ (Toshihiko Ando)
更新日: 02/01