@misc {IOPORT.70224439,
    author       = {Gan, Min and Yue, Guoying and Wang, Hongfa},
    title        = {Network protocols analyzing by an environmental bisimulation method},
    howpublished = {SNPD (2), 363-367 (2007).},
    year         = {2007},
    identifier   = {70224439},
}