Automated Complexity Analysis for Imperative Programs (bibtex)
by Moritz Sinn
Reference:
Automated Complexity Analysis for Imperative ProgramsMoritz Sinn2016, PhD thesis, TU Wien, Faculty of Informatics.
Bibtex Entry:
@phdthesis{phdsinn,
  author = {Sinn, Moritz},
  title = {Automated Complexity Analysis for Imperative Programs},
  school = {TU Wien, Faculty of Informatics},
  address = {Wien, Austria},
  year = {2016},
  url = {http://katalog.ub.tuwien.ac.at/AC13356888}
}
Powered by bibtexbrowser