TU Darmstadt
ULB
TUprints
Browse by Person
Up a level |
Number of items: 1.
Camporesi, Ferdinanda ; Feret, Jérôme ; Koeppl, Heinz ; Petrov, Tatjana (2024)
Combining Model Reductions.
In: Electronic Notes in Theoretical Computer Science, 2010, 265
doi: 10.26083/tuprints-00026719
Article, Secondary publication, Publisher's Version