Modular Verification of Biological Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Peter Drábik. Modular Verification of Biological Systems. PhD thesis, University of Pisa, Italy, 2011. [doi]

@phdthesis{it-768,
  title = {Modular Verification of Biological Systems},
  author = {Peter Drábik},
  year = {2011},
  url = {https://etd.adm.unipi.it/theses/available/etd-12072011-085738/},
  researchr = {https://researchr.org/publication/it-768},
  cites = {0},
  citedby = {0},
  school = {University of Pisa, Italy},
}

runs on WebDSL