Joint International Conference on Formal Description Techniques IX, and Protocol Specification, Testing, and Verification XVI(FORTE/PSTV '96)
Vol.80 No.1pp.100-100
発行日:1997/01/01
Online ISSN:2188-2355
Print ISSN:0913-5693
種別:国際会議
専門分野:
キーワード:
---
本文:PDF(60.5KB)>>
あらまし: