@inproceedings{DBLP:conf/icnp/KhoumsiB95,
  author    = {Ahmed Khoumsi and
               Gregor von Bochmann},
  title     = {Protocol synthesis using basic Lotos and global variables},
  booktitle = {ICNP},
  year      = {1995},
  pages     = {126-},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524827},
  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}
}