BibTeX record conf/pts/BelinfanteFVTGFMH99

download as .bib file

  author    = {Axel Belinfante and
               Jan Feenstra and
               Ren{\'{e}} G. de Vries and
               Jan Tretmans and
               Nicolae Goga and
               Loe M. G. Feijs and
               Sjouke Mauw and
               Lex Heerink},
  editor    = {Gyula Csopaki and
               Sarolta Dibuz and
               Katalin Tarnay},
  title     = {Formal Test Automation: {A} Simple Experiment},
  booktitle = {Testing of Communicating Systems: Method and Applications, {IFIP}
               {TC6} 12\({}^{\mbox{th}}\) International Workshop on Testing Communicating
               Systems, September 1-3, 1999, Budapest, Hungary},
  series    = {{IFIP} Conference Proceedings},
  volume    = {147},
  pages     = {179--196},
  publisher = {Kluwer},
  year      = {1999},
  timestamp = {Thu, 17 Oct 2002 11:20:33 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics