1 |
D. Rayner, "OSI Conformance Testing," in Computer Networks and ISDN Systems, vol. 14, no. 1, pp. 79-98, 1987.
DOI
|
2 |
D. P. Sidhu and T. K. Leung, "Formal Methods for Protocol Testing: A Detailed Study," in IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 413-426, 1989.
DOI
|
3 |
K. K. Sabnani and A. T. Dahbura, "A Protocol Test Generation Procedure," in Computer Networks and ISDN Systems, vol. 15, no. 4, pp. 285-297, 1988.
DOI
|
4 |
Z. Kohavi, Switching and Finite Automata Theory. New York: McGraw-Hill, 1978.
|
5 |
J. Edmonds and E. L. Johnson, "Mathing, Euler Tours, and the Chinese Postman," in Mathematical programming, vol. 5, pp. 88-124, 1973.
DOI
|
6 |
Bela Bollobas, Modern Graph Theory, Springer, 1998.
|
7 |
A. Gibbons, Algorithmic Graph Theory, Cambridge: Cambridge Univ. Press, 1985.
|
8 |
R. E. Tarjan, Data Structures and Network Algorithms, Philadelphia: Society for Industrial and Applied Mathematics, 1983.
|
9 |
ITU-T Recommendation Q.2931, Broadband Integrated Services Digital Network (B-ISDN) User-Network Interface (UNI) Layer 3 Specification for Basic Call/Connection Control, 1995.
|
10 |
ATM Forum Technical Committee, ATM User-Network Interface (UNI) Signalling Specification, Version 4.0, 1996.
|
11 |
Uyless Black, ATM, Voulme II Signalling in Broadband Networks, Prentice Hall, 1998.
|
12 |
Harry J. R. Dutton and Peter Lenhard, Asynchronous Transfer Mode (ATM) Technical Overview, Prentice Hall, 1995.
|