Petri Games: Synthesis of Distributed Systems with Causal Memory

Finkbeiner, Bernd and Olderog, Ernst-Rüdiger
(2014) Petri Games: Synthesis of Distributed Systems with Causal Memory.
In: Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item