%0 Conference Paper %1 conf/erlang/Shishkin17 %A Shishkin, Evgeniy %B Erlang Workshop %D 2017 %E Chechina, Natalia %E Fritchie, Scott Lystig %I ACM %K dblp %P 1-12 %T Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm. %U http://dblp.uni-trier.de/db/conf/erlang/erlang2017.html#Shishkin17 %@ 978-1-4503-5179-9

@inproceedings{conf/erlang/Shishkin17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shishkin, Evgeniy}, biburl = {https://www.bibsonomy.org/bibtex/2a6d312d121d1c9b8d7c72a9c5683c9fa/dblp}, booktitle = {Erlang Workshop}, crossref = {conf/erlang/2017}, editor = {Chechina, Natalia and Fritchie, Scott Lystig}, ee = {https://doi.org/10.1145/3123569.3123571}, interhash = {d4a320ffee71922dedd5f479c9c7c396}, intrahash = {a6d312d121d1c9b8d7c72a9c5683c9fa}, isbn = {978-1-4503-5179-9}, keywords = {dblp}, pages = {1-12}, publisher = {ACM}, timestamp = {2018-11-07T13:46:36.000+0100}, title = {Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm.}, url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2017.html#Shishkin17}, year = 2017 }