%0 Conference Paper %1 conf/erlang/0001B020 %A Zeller, Peter %A Bieniusa, Annette %A Ferreira, Carla %B Erlang Workshop %D 2020 %E Bieniusa, Annette %E Fördós, Viktória %I ACM %K carlaferreira myown %P 14-23 %T Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. %U http://dblp.uni-trier.de/db/conf/erlang/erlang2020.html#0001B020 %@ 978-1-4503-8049-2

@inproceedings{conf/erlang/0001B020, added-at = {2023-01-30T14:49:18.000+0100}, author = {Zeller, Peter and Bieniusa, Annette and Ferreira, Carla}, biburl = {https://www.bibsonomy.org/bibtex/266805b866e96dd175c2c5edfa6c30e9e/carlaferreira}, booktitle = {Erlang Workshop}, crossref = {conf/erlang/2020}, editor = {Bieniusa, Annette and Fördós, Viktória}, ee = {https://doi.org/10.1145/3406085.3409009}, interhash = {59c91422f780471217a8b1c3d2ed73ca}, intrahash = {66805b866e96dd175c2c5edfa6c30e9e}, isbn = {978-1-4503-8049-2}, keywords = {carlaferreira myown}, pages = {14-23}, publisher = {ACM}, timestamp = {2023-01-30T14:49:18.000+0100}, title = {Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.}, url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2020.html#0001B020}, year = 2020 }