%0 Generic
%T Combining static and dynamic analysis to find multi-threading faults beyond data races
%A Artho, Cyrille
%A Biere, Armin
%A Gross, Thomas
%I Hartung-Gorre Verlag
%@ 3-89649-997-1
%@ 3-89649-997-1
%K COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS)
%K RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME)
%K computer science
%K MEHRPROGRAMMBETRIEB (BETRIEBSSYSTEME)
%K Data processing
%K MULTIPROCESSING + MULTIPROGRAMMING + MULTITASKING (OPERATING SYSTEMS)
%D 2005
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Hartung-Gorre Verlag
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation