BibTeX record phd/basesearch/Pietrantuono09

download as .bib file

@phdthesis{DBLP:phd/basesearch/Pietrantuono09,
  author    = {Roberto Pietrantuono},
  title     = {Reliability-Oriented Verification of Mission-Critical Software Systems},
  school    = {University of Naples Federico II, Italy},
  year      = {2009},
  url       = {http://www.fedoa.unina.it/3897/},
  timestamp = {Tue, 17 Apr 2018 17:10:32 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/basesearch/Pietrantuono09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier