@Inproceedings{DBLP:conf/coordination/Belzner14,
   status = {n/a},
   task = {n/a},
   booktitle = {COORDINATION},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   year = {2014},
   invited = {n/a},
   timestamp = {2015.03.09},
   main = {n/a},
   title = {{Verifiable Decisions in Autonomous Concurrent Systems}},
   author = {Lenz Belzner},
   ee = {http://dx.doi.org/10.1007/978-3-662-43376-8_2},
   period = {year4},
   owner = {Christian},
   partner = {LMU},
   wp = {n/a},
   pages = {17-32}
}