Showing 1 - 20 results of 73 for search 'Finkbeiner, T', query time: 0.03s
Refine Results
-
1
-
2
Quotational nicknames in German at the interface between syntax, punctuation, and pragmatics by Finkbeiner Rita
Published 2023-03-01
Article -
3
-
4
-
5
-
6
-
7
Detecting Unrealizability of Distributed Fault-tolerant Systems by Bernd Finkbeiner, Leander Tentrup
Published 2015-09-01
Article -
8
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds by Lars Kuhtz, Bernd Finkbeiner
Published 2012-10-01
Article -
9
-
10
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems by Raven Beutner, Bernd Finkbeiner
Published 2023-05-01
Article -
11
-
12
-
13
Petri Games: Synthesis of Distributed Systems with Causal Memory by Bernd Finkbeiner, Ernst-Rüdiger Olderog
Published 2014-08-01
Article -
14
-
15
-
16
Directed Model Checking with Distance−Preserving Abstractions by Dräger, K, Finkbeiner, B, Podelski, A
Published 2006Conference item -
17
Directed model checking with distance−preserving abstractions by Dräger, K, Finkbeiner, B, Podelski, A
Published 2009Journal article -
18
Adapting the ESSENZ Method to Assess Company-Specific Criticality Aspects by Kim Maya Yavor, Vanessa Bach, Matthias Finkbeiner
Published 2021-05-01
Article -
19
-
20