Skip to content

Hierarchical Information Patterns and Distributed Strategy Synthesis.

Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard

VenueBATVA
Year2015
ProceedingsATVA

Browse the full ATVA paper archive.