摘要
Y98-61361-425 9908426并行规约验证系统的设计=Design of a parallel protocolverification system[会,英]/Dutta,S.K.& Saha,D.//1997 IEEE Region 10 Annual Conference on Speechand Image Technologies for Computing and Telecommu-nications,Vol.2.—425～428(HG)
出处
《电子科技文摘》
1999年第6期141-143,共3页
Sci.& Tech.Abstract
