TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Feret, J. ; Henzinger, T. ; Koeppl, H. ; Petrov, T. (2012)
Lumpability Abstractions of Rule-based Systems.
In: Journal of Theoretical Comuter Science, 431
Artikel, Bibliographie