TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 1.

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Liu, Zhiming ; Ravn, Anders (eds.) :

Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: LNCS , 5799 . Springer
[Konferenz- oder Workshop-Beitrag], (2009)

Diese Liste wurde am Tue Oct 16 03:49:25 2018 CEST generiert.