Joint International Conference on Formal Description Techniques IX，　and Protocol Specification，　Testing，　and Verification XVI（FORTE／PSTV　'96）

Vol.80 No.1 pp.100-100

Publication Date:1997/01/01

Online ISSN:2188-2355

Print ISSN:0913-5693

Type of Manuscript:International Conferences

Category:

Keyword:
---

Full Text:PDF(60.5KB)>>

Summary: