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