2018

  1. Dara: hybrid model checking of distributed systems Anand, Vaastav In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2018