TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Artikel
Camporesi, F. ; Feret, J. ; Koeppl, H. ; Petrov, T. (2010)
Combining Model Reductions.
In: Electronic Notes in Theoretical Computer Science, 265
doi: 10.1016/j.entcs.2010.08.006
Artikel, Bibliographie