TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Konferenzveröffentlichung

Hartle, Michael ; Botchak, Arsene ; Schumann, Daniel ; Mühlhäuser, Max (2008)
A Logic-based Approach to the Formal Description of Data Formats.
Konferenzveröffentlichung, Bibliographie

Hartle, Michael ; Schumann, Daniel ; Botchak, Arsene ; Tews, Erik ; Mühlhäuser, Max (2008)
Describing Data Format Exploits using Bitstream Segment Graphs <b> (best paper award)</b>.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Dec 17 04:10:05 2024 CET generiert.