%0 Journal Article %1 journals/corr/FinkbeinerT15 %A Finkbeiner, Bernd %A Tentrup, Leander %D 2015 %J Logical Methods in Computer Science %K dblp %N 3 %T Detecting Unrealizability of Distributed Fault-tolerant Systems. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#FinkbeinerT15 %V 11

@article{journals/corr/FinkbeinerT15, added-at = {2019-05-14T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Tentrup, Leander}, biburl = {https://www.bibsonomy.org/bibtex/27a5f1cdbfbade3adfc5cd117129b30ce/dblp}, ee = {http://arxiv.org/abs/1505.06862}, interhash = {3b4fc6f4ecd5bf31a333543326436995}, intrahash = {7a5f1cdbfbade3adfc5cd117129b30ce}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2019-05-15T11:50:32.000+0200}, title = {Detecting Unrealizability of Distributed Fault-tolerant Systems.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#FinkbeinerT15}, volume = 11, year = 2015 }