DBLP Record 'conf/ifm/GibsonHM99'

BibTeX

@inproceedings{DBLP:conf/ifm/GibsonHM99,
  author    = {J. Paul Gibson and
               Geoff Hamilton and
               Dominique M{\'e}ry},
  title     = {Integration Problems in Telephone Feature Requirements},
  booktitle = {IFM},
  year      = {1999},
  pages     = {129-148},
  crossref  = {DBLP:conf/ifm/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International
               Conference on Integrated Formal Methods, IFM 99, York, UK,
               28-29 June 1999},
  booktitle = {IFM},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}