Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Aggarwal, S.; Barbara, D.; Meth, K.; SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols; IEEE Transactions on Software Engineering 13,12(1987)1218–1237
2. Bartlett, K.; Scantlebury, R.; Wilkonson, P.; A Note on Reliable Full Duplex Transmissions over Half-Duplex Links; Communications of the ACM 12,5(1969)260–261
3. Bolognesi, T.; Brinksma, E.; Introduction into the ISO Specification Language LOTOS; Computer Networks and ISDN Systems 14(1987)25–59
4. Budkowski, S.; Dembinski, P.; An Introduction to Estelle: A Specification Language for Distributed Systems; Computer Networks and ISDN Systems 14(1987)3–23
5. Burkhardt, H.; Eckert, H.; Prinoth, R.; Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets; in Protocol Specification, Testing, and Verification IV, Y. Yemini, R. Strom, S. Yemini (eds.), North-Holland, Amsterdam (1985)165–192
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 11 Verification;Protocol Engineering;2012
2. Compositional minimization of finite state systems;Lecture Notes in Computer Science