Search: Meinecke, Ingmar, 2007

2 results

Results

Authors Year Title Type Fulltext
Bollig, B.
Kuske, D.
...
2007 Propositional Dynamic Logic for Message-Passing Systems Paper
Meinecke, Ingmar
Bollig, B.
2007 Weighted Distributed Systems and Their Logics Paper