BugFinder: Automatische Fehlerfindung in nebenläufiger Software
dc.contributor.author | Chavdar, Marinov | |
dc.contributor.author | Edelkamp, Stefan | |
dc.contributor.author | Goloub, Alexander | |
dc.contributor.author | Jabbar, Shahid | |
dc.contributor.author | Kellershoff, Mark | |
dc.contributor.author | Liu, Yang | |
dc.contributor.author | Mehler, T. | |
dc.contributor.author | Midzic, Dino | |
dc.contributor.author | Milouchev, Goran | |
dc.contributor.author | Rikowski, Daniel | |
dc.contributor.author | Sulewski, Damian | |
dc.contributor.author | Tamokoue, Eric | |
dc.contributor.author | Zakaria, Yfrah | |
dc.date.accessioned | 2007-02-16T07:52:03Z | |
dc.date.available | 2007-02-16T07:52:03Z | |
dc.date.issued | 2007-02-16T07:52:03Z | |
dc.identifier.uri | http://hdl.handle.net/2003/23282 | |
dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-7672 | |
dc.language.iso | en | de |
dc.subject.ddc | 004 | |
dc.title | BugFinder: Automatische Fehlerfindung in nebenläufiger Software | de |
dc.title.alternative | Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs | en |
dc.type | Text | de |
dc.type.publicationtype | StudyThesis | de |
dcterms.accessRights | open access |