TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2008
Anzahl der Einträge: 2.
2008
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