BormannNV92'

BibTeX

@inproceedings{DBLP:conf/ifip10-2/BormannNV92,
  author    = {J{\"o}rg Bormann and
               H. Nusser-Wehlan and
               Gerd Venzl},
  title     = {Invited Talk: Formal Design in an Industrial Research Laboratory:
               Lessons and Perspectives},
  booktitle = {Designing Correct Circuits},
  year      = {1992},
  pages     = {193-213},
  crossref  = {DBLP:conf/ifip10-2/1992a},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip10-2/1992a,
  editor    = {J{\o}rgen Staunstrup and
               Robin Sharp},
  title     = {Designing Correct Circuits, Proceedings of the Second IFIP
               WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby,
               Denmark, 6-8 January 1992},
  booktitle = {Designing Correct Circuits},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-5},
  year      = {1992},
  isbn      = {0-444-89335-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}