%0 Conference Paper %1 conf/icftcs/BurfordB84 %A Burford, M. A. J. %A Belli, Fevzi %B Fehlertolerierende Rechensysteme %D 1984 %E Großpietsch, Karl-Erwin %E Cin, Mario Dal %I Springer %K dblp %P 101-126 %T CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. %U http://dblp.uni-trier.de/db/conf/icftcs/icftcs1984.html#BurfordB84 %V 84 %@ 3-540-13348-8

@inproceedings{conf/icftcs/BurfordB84, added-at = {2002-09-17T00:00:00.000+0200}, author = {Burford, M. A. J. and Belli, Fevzi}, biburl = {https://www.bibsonomy.org/bibtex/2976a556dcbb76a0dcb7551b30b362f08/dblp}, booktitle = {Fehlertolerierende Rechensysteme}, crossref = {conf/icftcs/1984}, editor = {Großpietsch, Karl-Erwin and Cin, Mario Dal}, ee = {http://dx.doi.org/10.1007/978-3-642-69698-5_9}, interhash = {9f5562ddef7776db73a0ec3fb4dfac2f}, intrahash = {976a556dcbb76a0dcb7551b30b362f08}, isbn = {3-540-13348-8}, keywords = {dblp}, pages = {101-126}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2016-11-17T11:42:00.000+0100}, title = {CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'.}, url = {http://dblp.uni-trier.de/db/conf/icftcs/icftcs1984.html#BurfordB84}, volume = 84, year = 1984 }