Send email Copy Email Address
2014-01-01

Petri Games: Synthesis of Distributed Systems with Causal Memory

Tags
Trustworthy Information Processing
Conference / Medium

Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)

Date published

2014-01-01

Date last modified

2019-07-18 12:09:26

Authors
Download