ZeroualY95'

BibTeX

@inproceedings{DBLP:conf/icnp/ZeroualY95,
  author    = {Kacem Zeroual and
               M. El Yassini},
  title     = {A protocol synthesis algorithm: a relational approach},
  booktitle = {ICNP},
  year      = {1995},
  pages     = {58-65},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524819},
  crossref  = {DBLP:conf/icnp/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icnp/1995,
  title     = {1995 International Conference on Network Protocols, ICNP
               1995, November 7-10, 1995, Tokyo, Japan},
  booktitle = {ICNP},
  publisher = {IEEE Computer Society},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}