Broy96'

@inproceedings{DBLP:conf/forte/Broy96,
  author    = {Manfred Broy},
  title     = {Formal Description Techniques - How Formal and Descriptive
               are they?},
  booktitle = {FORTE},
  year      = {1996},
  pages     = {95-110},
  crossref  = {DBLP:conf/forte/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {69},
  year      = {1996},
  isbn      = {0-412-79490-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}