Search
E-mail
RSS

Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Formal Description of Protocols with RAISE Specification Language Based on Temporal Logic
GU Xiang, QIU Jian-Lin
Computer Engineering . 2011, (5): 7 -9 .  DOI: 10.3969/j.issn.1000-3428.2011.05.003

copyright@Editorial Department of Computer Engineering
Address：No. 63, Chengliu Road, Shanghai, 201808
Tel: 021-67092217　
E-mail：ecice06@ecict.com.cn
Powered by Beijing Magtech Co. Ltd,.