Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ifip10-2/BormannNV92
AU - Bormann, Jörg
AU - Nusser-Wehlan, H.
AU - Venzl, Gerd
TI - Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives.
BT - Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
SP - 193
EP - 213
PY - 1992//
ER -
