ChaoW94a'

@inproceedings{DBLP:conf/mascots/ChaoW94a,
  author    = {Daniel Y. Chao and
               David T. Wang},
  title     = {An Interactive Tool for Design, Simulation, Verification,
               and Synthesis of Protocols},
  booktitle = {MASCOTS},
  year      = {1994},
  pages     = {381-385},
  crossref  = {DBLP:conf/mascots/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mascots/1994,
  editor    = {Vijay K. Madisetti and
               Erol Gelenbe and
               Jean C. Walrand},
  title     = {MASCOTS '94, Proceedings of the Second International Workshop
               on Modeling, Analysis, and Simulation On Computer and Telecommunication
               Systems, January 31 - February 2, 1994, Durham, North Carolina,
               USA},
  booktitle = {MASCOTS},
  publisher = {IEEE Computer Society},
  year      = {1994},
  isbn      = {0-8186-5292-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}