An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph
Vol. 21, No. 12, pp. 3109-3120, Dec. 1996
Statistics
Cumulative Counts from November, 2022
Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.
Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.
|
Cite this article
[IEEE Style]
김환철, "An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph," The Journal of Korean Institute of Communications and Information Sciences, vol. 21, no. 12, pp. 3109-3120, 1996. DOI: .
[ACM Style]
김환철. 1996. An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph. The Journal of Korean Institute of Communications and Information Sciences, 21, 12, (1996), 3109-3120. DOI: .
[KICS Style]
김환철, "An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph," The Journal of Korean Institute of Communications and Information Sciences, vol. 21, no. 12, pp. 3109-3120, 12. 1996.