BibTeX record conf/sdl/EkGHJKS97

download as .bib file

@inproceedings{DBLP:conf/sdl/EkGHJKS97,
  author    = {Anders Ek and
               Jens Grabowski and
               Dieter Hogrefe and
               Richard Jerome and
               Beat Koch and
               Michael Schmitt},
  title     = {Towards the industrial use of validation techniques and automatic
               test generation methods for {SDL} specifications},
  booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
               {SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
  pages     = {245--260},
  year      = {1997},
  crossref  = {DBLP:conf/sdl/1997},
  timestamp = {Fri, 06 Jan 2017 15:20:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sdl/EkGHJKS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  publisher = {Elsevier},
  year      = {1997},
  timestamp = {Thu, 16 Oct 2003 14:16:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sdl/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics