%0 Journal Article %1 journals/dagstuhl-reports/FeyFMRR12 %A Fey, Görschwin %A Fujita, Masahiro %A Miskov-Zivanov, Natasa %A Roy, Kaushik %A Reorda, Matteo Sonza %D 2012 %J Dagstuhl Reports %K dblp %N 8 %P 57-73 %T Verifying Reliability (Dagstuhl Seminar 12341). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#FeyFMRR12 %V 2

@article{journals/dagstuhl-reports/FeyFMRR12, added-at = {2013-02-13T00:00:00.000+0100}, author = {Fey, Görschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Reorda, Matteo Sonza}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22d09494cb2e99970b7f3d226cf825819/dblp}, ee = {http://dx.doi.org/10.4230/DagRep.2.8.57}, interhash = {bb3b337d4f39cad432f94b712ecd03ec}, intrahash = {2d09494cb2e99970b7f3d226cf825819}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 8, pages = {57-73}, timestamp = {2016-07-28T09:32:55.000+0200}, title = {Verifying Reliability (Dagstuhl Seminar 12341).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#FeyFMRR12}, volume = 2, year = 2012 }