EkGHJKS97'

BibTeX

@inproceedings{DBLP:conf/sdl/EkGHJKS97,
  author    = {Anders Ek and
               Jens Grabowski and
               Dieter Hogrefe and
               Richard Jerome and
               Beat Koch and
               Michael Schmitt II},
  title     = {Towards the industrial use of validation techniques and
               automatic test generation methods for SDL specifications},
  booktitle = {SDL Forum},
  year      = {1997},
  pages     = {245-260},
  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}
}