BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-138610,
    author = {Steiner, Wilfried and Rushby, John and Sorea, Maria and Pfeifer, Gerald},
    title = {Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation},
    booktitle = {Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004)},
    year = {2004},
    publisher = {IEEE},
    isbn = {0-7695-2052-9},
    note = {talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-06-28 -- 2004-07-01}
}


1 Datensatz ausgegeben