search result

Cover von History-Deterministic Timed Automata

History-Deterministic Timed Automata

Year: 2022
Media group: LIPIcs
Cover von Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

Year: 2020
Media group: LIPIcs
Cover von Long-Run Average Behavior of Vector Addition Systems with States

Long-Run Average Behavior of Vector Addition Systems with States

Year: 2019
Media group: LIPIcs
Cover von Bidding Mechanisms in Graph Games

Bidding Mechanisms in Graph Games

Year: 2019
Media group: LIPIcs
Cover von Handbook of Model Checking
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Bidirectional Nested Weighted Automata

Bidirectional Nested Weighted Automata

Year: 2017
Media group: LIPIcs
Cover von Linear Distances between Markov Chains

Linear Distances between Markov Chains

Year: 2016
Media group: LIPIcs
Cover von Local Linearizability for Concurrent Container-Type Data Structures

Local Linearizability for Concurrent Container-Type Data Structures

Author: Haas, Andreas; Henzinger, Thomas A.; Holzer, Andreas
Year: 2016
Media group: LIPIcs
Cover von Nested Weighted Limit-Average Automata of Bounded Width

Nested Weighted Limit-Average Automata of Bounded Width

Year: 2016
Media group: LIPIcs
Cover von The Ackermann Award 2013

The Ackermann Award 2013

Year: 2013
Media group: LIPIcs
OPEN V 11.1.0.0