DurrieuKL92'

BibTeX

@inproceedings{DBLP:conf/ifip10-2/DurrieuKL92,
  author    = {Guy Durrieu and
               Kamel Kessaci and
               Michel Lema\^{\i}tre},
  title     = {Transe: An Experimental Transformation Assistant for Digital
               Circuit Design},
  booktitle = {Designing Correct Circuits},
  year      = {1992},
  pages     = {103-118},
  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}
}