%0 Conference Paper %1 conf/icse/DillonSKXF08 %A Dillon, Laura K. %A Stirewalt, R. E. Kurt %A Kraemer, Eileen %A Xie, Shaohua %A Fleming, Scott D. %B MiSE %D 2008 %E Atlee, Joanne M. %E France, Robert B. %E Georg, Geri %E Moreira, Ana %E Rumpe, Bernhard %E Völkel, Steven %E Zschaler, Steffen %I ACM %K %P 33-38 %T Using formal models to objectively judge quality of multi-threaded programs in empirical studies. %U http://dblp.uni-trier.de/db/conf/icse/mise2008.html#DillonSKXF08 %@ 978-1-60558-025-8

@inproceedings{conf/icse/DillonSKXF08, added-at = {2023-12-13T09:38:50.000+0100}, author = {Dillon, Laura K. and Stirewalt, R. E. Kurt and Kraemer, Eileen and Xie, Shaohua and Fleming, Scott D.}, biburl = {https://www.bibsonomy.org/bibtex/2abbf49fa18e03ce594646e01736c1db6/admin}, booktitle = {MiSE}, crossref = {conf/icse/2008mise}, editor = {Atlee, Joanne M. and France, Robert B. and Georg, Geri and Moreira, Ana and Rumpe, Bernhard and Völkel, Steven and Zschaler, Steffen}, ee = {https://doi.org/10.1145/1370731.1370740}, interhash = {d02f83794638374217d57fe6d7382b94}, intrahash = {abbf49fa18e03ce594646e01736c1db6}, isbn = {978-1-60558-025-8}, keywords = {}, pages = {33-38}, publisher = {ACM}, timestamp = {2023-12-13T09:38:50.000+0100}, title = {Using formal models to objectively judge quality of multi-threaded programs in empirical studies.}, url = {http://dblp.uni-trier.de/db/conf/icse/mise2008.html#DillonSKXF08}, year = 2008 }