BibTeX record phd/us/Sorrentino14

download as .bib file

@phdthesis{DBLP:phd/us/Sorrentino14,
  author       = {Francesco Sorrentino},
  title        = {Algorithmic techniques for predictive testing of concurrent programs
                  and distributed systems},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2014},
  url          = {https://hdl.handle.net/2142/49713},
  timestamp    = {Fri, 13 Oct 2023 19:46:44 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Sorrentino14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics