@inproceedings{vonHanxledenBLS96, author = {Hanxleden, Reinhard von and J{\"u}rgen Bohne and Luciano Lavagno and Alberto Sangiovanni-Vincentelli}, title = {Hardware/Software Co-Design of a Fault-Tolerant Communication Protocol}, booktitle = {Digest of Abstracts of the IEEE International Workshop on Embedded Fault-Tolerant Systems (EFTS~'96)}, year = {1996}, address = {Dallas, TX}, month = {September}, url = {ftp://ic.eecs.berkeley.edu/pub/HWSW/IEEE\_EFTS96.ps.gz}, }