Cited By
View all- Wai Lai (1982)Protocol Traps in Computer Networks--A CatalogIEEE Transactions on Communications10.1109/TCOM.1982.109558630:6(1434-1449)Online publication date: Jun-1982
- Bochmann GSunshine C(1982)A Survey of Formal MethodsComputer Network Architectures and Protocols10.1007/978-1-4615-6698-4_20(561-578)Online publication date: 1982
- Bochmann GSunshine C(1980)Formal Methods in Communication Protocol DesignIEEE Transactions on Communications10.1109/TCOM.1980.109468528:4(624-631)Online publication date: Apr-1980
- Show More Cited By