author = { Artho, Cyrille Biere, Armin AND Gross, Thomas },

title = { Combining static and dynamic analysis to find multi-threading faults beyond data races },

publisher = {Hartung-Gorre Verlag},

isbn = {3-89649-997-1},

keywords = { COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS) , RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME) , computer science , MEHRPROGRAMMBETRIEB (BETRIEBSSYSTEME) , Data processing , MULTIPROCESSING + MULTIPROGRAMMING + MULTITASKING (OPERATING SYSTEMS) },

year = {2005},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

booktitle = {Series in computer science, 5},

url = { http://slubdd.de/katalog?TN_libero_mab2 }