Showing 1 - 1 results of 1 for search 'Ingmar Meinecke', query time: 0.01s
Refine Results
-
1
Propositional Dynamic Logic for Message-Passing Systems by Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke
Published 2010-09-01
Article