BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @techreport{TUW-137997, author = {Fabre, Jean-Charles and Losert, Thomas and Marsden, Eric and Moffat, Nick and Paulitsch, Michael and Powell, David and Simmonds, Williams}, title = {Validation of Fault Tolerance and Timing Properties}, institution = {E191 - Institute of Computer Engineering; Vienna University of Technology}, year = {2003}, url = {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1218&viewmode=paper&year=2003} } 1 Datensatz ausgegeben