Article citationsMore>>
S. Zarina, N. Alias, M. M. Halip and B. Idrus, “Formal Specification and Validation of Selective Acknowledgement Protocol Using Z/EVES Theorem Prover,” Journal of Applied Sciences, Vol. 6, No. 8, 2006, pp. 1712-1719. http://dx.doi.org/10.3923/jas.2006.1712.1719
has been cited by the following article:
Related Articles:
-
George S. Levy
-
Bibek Baran Nag
-
Ananda Prasad Panta, Ram Prasad Ghimire, Dinesh Panthi, Shankar Raj Pant
-
Vishwa Nath Maurya
-
Gulshan Singh, Wali Mohammad Shah