Search: Bollig, B.

3 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
Kuske, D.
Bollig, B.
2008 Distributed Muller automata and logics Paper