TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 1.
Feret, J. ; Henzinger, T. ; Koeppl, H. ; Petrov, T. (2012)
Lumpability Abstractions of Rule-based Systems.
In: Journal of Theoretical Comuter Science, 431
Article, Bibliographie