Verification in XESAR of the Sliding Window Protocol

AADEBUG,1995, 引用: 8

SDL '95 with MSC in Case,1995, 引用: 31

,2007, 引用: 0

,1998, 引用: 0

computer aided verification,1990, 引用: 19

,2006, 引用: 22

Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems,1993, 引用: 0

computer aided verification,1992, 引用: 87

formal techniques for (networked and) distributed systems,1991, 引用: 21

computer aided verification,1990, 引用: 162