%0 Journal Article %1 journals/eatcs/AuvolatFRT20 %A Auvolat, Alex %A Frey, Davide %A Raynal, Michel %A Taïani, François %D 2020 %J Bull. EATCS %K dblp %T Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs132.html#AuvolatFRT20 %V 132

@article{journals/eatcs/AuvolatFRT20, added-at = {2021-03-10T00:00:00.000+0100}, author = {Auvolat, Alex and Frey, Davide and Raynal, Michel and Taïani, François}, biburl = {https://www.bibsonomy.org/bibtex/2123eeb00dd1422a89c4a38e04df2b853/dblp}, ee = {http://eatcs.org/beatcs/index.php/beatcs/article/view/629}, interhash = {c8a991d6e52514f85697aa5a3a61fb0f}, intrahash = {123eeb00dd1422a89c4a38e04df2b853}, journal = {Bull. EATCS}, keywords = {dblp}, timestamp = {2024-04-09T00:58:07.000+0200}, title = {Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs132.html#AuvolatFRT20}, volume = 132, year = 2020 }