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

@inproceedings{TUW-139523,
    author = {Biely, Martin and Le Lann, G'erard and Schmid, Ulrich},
    title = {Proof-Based System Engineering Using a Virtual System Model},
    booktitle = {Service Availability},
    year = {2005},
    pages = {164--179},
    note = {talk: International Service Availability Symposium, Berlin, Deutschland; 2005-04-25 -- 2005-04-26}
}


1 Datensatz ausgegeben