Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}