%0 Conference Paper %1 conf/euromicro/RuhrothVW09 %A Ruhroth, Thomas %A Voigt, Hendrik %A Wehrheim, Heike %B EUROMICRO-SEAA %D 2009 %I IEEE Computer Society %K dblp %P 360-367 %T Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. %U http://dblp.uni-trier.de/db/conf/euromicro/euromicro2009.html#RuhrothVW09 %@ 978-0-7695-3784-9

@inproceedings{conf/euromicro/RuhrothVW09, added-at = {2016-02-17T00:00:00.000+0100}, author = {Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26fbd2baa7dd9fe3560911b5b73ec08bd/dblp}, booktitle = {EUROMICRO-SEAA}, crossref = {conf/euromicro/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.39}, interhash = {d1008f82cd06843a8ebd9005876ccfb8}, intrahash = {6fbd2baa7dd9fe3560911b5b73ec08bd}, isbn = {978-0-7695-3784-9}, keywords = {dblp}, pages = {360-367}, publisher = {IEEE Computer Society}, timestamp = {2016-02-18T10:34:10.000+0100}, title = {Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.}, url = {http://dblp.uni-trier.de/db/conf/euromicro/euromicro2009.html#RuhrothVW09}, year = 2009 }