%0 Journal Article %1 journals/iandc/FinkbeinerO17 %A Finkbeiner, Bernd %A Olderog, Ernst-Rüdiger %D 2017 %J Inf. Comput. %K %P 181-203 %T Petri games: Synthesis of distributed systems with causal memory. %U http://dblp.uni-trier.de/db/journals/iandc/iandc253.html#FinkbeinerO17 %V 253

@article{journals/iandc/FinkbeinerO17, added-at = {2023-12-14T14:26:26.000+0100}, author = {Finkbeiner, Bernd and Olderog, Ernst-Rüdiger}, biburl = {https://www.bibsonomy.org/bibtex/2b537b69df7fcacf778f088cd7cad57c3/admin}, ee = {http://dx.doi.org/10.1016/j.ic.2016.07.006}, interhash = {dfa599a165d0ee65117386c20acf1967}, intrahash = {b537b69df7fcacf778f088cd7cad57c3}, journal = {Inf. Comput.}, keywords = {}, pages = {181-203}, timestamp = {2023-12-14T14:26:26.000+0100}, title = {Petri games: Synthesis of distributed systems with causal memory.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc253.html#FinkbeinerO17}, volume = 253, year = 2017 }