Suchergebnisse - Hülsbusch, Mathias | OPAC THWS

1

Conditional Bisimilarity for Reactive Systems von Hülsbusch, Mathias, König, Barbara, Küpper, Sebastian, Stoltenow, Lara

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Coalgebraic Perspective on Minimization and Determinization von Adámek, Jiří, Bonchi, Filippo, Hülsbusch, Mathias, König, Barbara, Milius, Stefan, Silva, Alexandra

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A sedimentary record of Holocene surface runoff events and earthquake activity from Lake Iseo (Southern Alps, Italy) von Lauterbach, Stefan, Chapron, Emmanuel, Brauer, Achim, Hüls, Matthias, Gilli, Adrian, Arnaud, Fabien, Piccin, Andrea, Nomade, Jérôme, Desmet, Marc, von Grafenstein, Ulrich, Participants, DecLakes

Veröffentlicht in Holocene (Sevenoaks)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Bisimulation Theory for Graph Transformation Systems von Hülsbusch, Mathias

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Conditional Bisimilarity for Reactive Systems von Hülsbusch, Mathias, König, Barbara, Küpper, Sebastian, Stoltenow, Lara

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Deriving Bisimulation Congruences for Conditional Reactive Systems von Hülsbusch, Mathias, König, Barbara

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Showing Full Semantics Preservation in Model Transformation – A Comparison of Techniques von Hülsbusch, Mathias, König, Barbara, Rensink, Arend, Semenyak, Maria, Soltenborn, Christian, Wehrheim, Heike

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Virtual Robot :Automatic Analysis of Situations and Management of Resources in a Team of Soccer Robots von Deom, Damien

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: