*Result*: Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs
*Title*:
Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs : Endbericht / Marinov Chavdar ; Stefan Edelkamp ; Alexander Goloub ; Shahid Jabbar ; Mark Kellershoff ; Yang Liu ; T. Mehler ; Dino Midzic ; Goran Milouchev ; Daniel Rikowski ; Damian Sulewski ; Eric Tamokoue ; Yfrah Zakaria
*Author/editor-in-chief*:
Chavdar, Marinov (Verfasser); Edelkamp, Stefan (Verfasser); Goloub, Alexander (Verfasser); Jabbar, Shahid (Verfasser); Kellershoff, Mark (Verfasser); Liu, Yang (Verfasser); Mehler, T. (Verfasser); Midzic, Dino (Verfasser); Milouchev, Goran (Verfasser); Rikowski, Daniel (Verfasser); Sulewski, Damian (Verfasser); Tamokoue, Eric (Verfasser); Zakaria, Yfrah (Verfasser)
*Publication*:
Dortmund : Universitätsbibliothek Dortmund, 2007
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*ger*