Dynamic Detection of Atomic-Set-Serializability Violations
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2008 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-60558-079-1 KITopen-ID: 1000008944 |
| Erschienen in | ICSE 08. Proceedings of the 30th International Conference on Software Engineering, Leipzig, Germany, May 10 - 18, 2008. Hrsg.: W. Schäfer. Hauptband |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 231-240 |