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

@inproceedings{TUW-234598,
    author = {Grosu, Radu and Peled, Doron and Ramakrishnan, C.R. and Smolka, Scott A. and Stoller, Scott D. and Yang, Junxing},
    title = {Using Statistical Model Checking for Measuring Systems},
    booktitle = {Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
    year = {2014},
    url = {http://ti.tuwien.ac.at/cps/people/grosu/files/isola14.pdf},
    note = {talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; 2014-10-08 -- 2014-10-11}
}


1 Datensatz ausgegeben