search author

DBLP BibTeX Record 'conf/sdl/MeryG97'

@inproceedings{DBLP:conf/sdl/MeryG97,
  author    = {Dominique M{\'e}ry and
               J. Paul Gibson},
  title     = {Telephone feature verification: Translating SDL to TLA+},
  booktitle = {SDL Forum},
  year      = {1997},
  pages     = {103-118},
  crossref  = {DBLP:conf/sdl/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sdl/1997,
  editor    = {Ana R. Cavalli and
               Amardeo Sarma},
  title     = {SDL '97 Time for Testing, SDL, MSC and Trends - 8th International
               SDL Forum, Evry, France, 23-29 September 1997, Proceedings},
  booktitle = {SDL Forum},
  publisher = {Elsevier},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}