BibTeX record conf/forte/1996

download as .bib file

@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {Formal Description Techniques {IX:} Theory, application and tools,
               {IFIP} {TC6} {WG6.1} International Conference on Formal Description
               Techniques {IX} / Protocol Specification, Testing and Verification
               XVI, Kaiserslautern, Germany, 8-11 October 1996},
  series    = {{IFIP} Conference Proceedings},
  volume    = {69},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-79490-X},
  timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}