BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-239550, author = {Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C.R. and Smolka, Scott A.}, title = {Model Repair for Probabilistic Systems}, booktitle = {Proc. of 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, year = {2011}, pages = {326--340}, publisher = {LNCS / Springer}, address = {vol. 6605}, isbn = {978-3-642-19834-2}, doi = {10.1007/978-3-642-19835-9{\_}30}, note = {talk: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbr{\"u}cken, Germany; 2011-03-26 -- 2011-04-03} } 1 Datensatz ausgegeben