TU Darmstadt / ULB / TUprints

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date
Number of items: 3.

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

Petrov, Tatjana ; Ganguly, Arnab ; Koeppl, Heinz (2024)
Model Decomposition and Stochastic Fragments.
In: Electronic Notes in Theoretical Computer Science, 2012, 284
doi: 10.26083/tuprints-00026720
Article, Secondary publication, Publisher's Version

Koeppl, Heinz ; Petrov, Tatjana (2024)
Stochastic Semantics of Signaling as a Composition of Agent-view Automata.
In: Electronic Notes in Theoretical Computer Science, 2011, 272
doi: 10.26083/tuprints-00026721
Article, Secondary publication, Publisher's Version

This list was generated on Sat Jun 22 05:29:44 2024 CEST.