%0 Conference Paper %1 conf/eurosys/MichaelWAET19 %A Michael, Ellis %A Woos, Doug %A Anderson, Thomas E. %A Ernst, Michael D. %A Tatlock, Zachary %B EuroSys %D 2019 %E Candea, George %E van Renesse, Robbert %E Fetzer, Christof %I ACM %K dblp %P 32:1-32:15 %T Teaching Rigorous Distributed Systems With Efficient Model Checking. %U http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#MichaelWAET19 %@ 978-1-4503-6281-8

@inproceedings{conf/eurosys/MichaelWAET19, added-at = {2023-02-12T00:00:00.000+0100}, author = {Michael, Ellis and Woos, Doug and Anderson, Thomas E. and Ernst, Michael D. and Tatlock, Zachary}, biburl = {https://www.bibsonomy.org/bibtex/2da3edd82a014d822a778842e3895339a/dblp}, booktitle = {EuroSys}, crossref = {conf/eurosys/2019}, editor = {Candea, George and van Renesse, Robbert and Fetzer, Christof}, ee = {https://doi.org/10.1145/3302424.3303947}, interhash = {612979dd30b46bd1e46c56e6d0f6480d}, intrahash = {da3edd82a014d822a778842e3895339a}, isbn = {978-1-4503-6281-8}, keywords = {dblp}, pages = {32:1-32:15}, publisher = {ACM}, timestamp = {2024-04-10T04:06:07.000+0200}, title = {Teaching Rigorous Distributed Systems With Efficient Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/eurosys/eurosys2019.html#MichaelWAET19}, year = 2019 }