[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 3116 || Verifying a Sliding Window Protocol in μCRL

• 作者Rattray, Charles; Maharaj, Savitri; Shankland, Carron
• 文件大小300.42KB
• 发表时间2004
• DOI10.1007/978-3-540-27815-3_15
• 页码148-163