BibTeX record phd/basesearch/Letko12

download as .bib file

@phdthesis{DBLP:phd/basesearch/Letko12,
  author       = {Zdenek Letko},
  title        = {Anal{\'{y}}za a testov{\'{a}}n{\'{\i}} v{\'{\i}}cevl{\'{a}}knov{\'{y}}ch
                  program{\r{u}} ; Analysis and Testing of Concurrent Programs},
  school       = {Brno University of Technology, Czech Republic},
  year         = {2012},
  url          = {https://hdl.handle.net/11012/63268},
  timestamp    = {Wed, 04 May 2022 12:59:46 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Letko12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics