TSAI, T.-C., 1994. Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL, K. J. Turner, Ed. PROCEEDINGS- IEEE. 1 Januar 1994. Vol. 82, no. 11, p. 1763-1763.
Elsevier - Harvard (with titles)Tsai, T.-C., 1994. Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL, K. J. Turner, Ed. PROCEEDINGS- IEEE 82, 1763-1763.
American Psychological Association 7th editionTsai, T.-C. (1994). Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL, K. J. Turner, Ed. PROCEEDINGS- IEEE, 82(11), 1763-1763.
Springer - Basic (author-date)Tsai T-C (1994) Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL, K. J. Turner, Ed.. PROCEEDINGS- IEEE 82:1763-1763
Juristische Zitierweise (Stüber) (Deutsch)Tsai, T.-C., Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL, K. J. Turner, Ed., PROCEEDINGS- IEEE 1994, 1763-1763.