Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock. Teaching Rigorous Distributed Systems With Efficient Model Checking. In George Candea, Robbert van Renesse, Christof Fetzer, editors, Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019. ACM, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.