Author:
Billington Jonathan,Gallasch Guy Edward
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. CCITT Recommendation Z.100, Functional Specification and Description Language (SDL) (2002)
2. FSM Library, AT&T Research Labs,
http://www.research.att.com/sw/tools/fsm/
3. Internet Engineering Task Force,
http://www.ietf.org
4. Aziz Abdulla, P., Jonsson, B.: Verifying Programs with Unreliable Channels. Information and Computation 127(2), 91–101 (1996)
5. Afek, Y., Brown, G.M.: Self-Stabilization of the Alternating Bit Protocol. In: Proceedings of the 8th Symposium on Reliable Distributed Systems, pp. 80–83. IEEE Comput. Soc. Press, Los Alamitos (1989)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献