Reusing Constraint Proofs in Symbolic Analysis (bibtex)
by Meixian Chen
Reference:
Reusing Constraint Proofs in Symbolic Analysis Meixian ChenPhD thesis, Università della Svizzera italiana (USI), 2018
Bibtex Entry:
@string{star="STAR"}
@phdthesis{Chen:PhDThesis:2018,
  groups = STAR,
  author = {Meixian Chen},
  title = {Reusing Constraint Proofs in Symbolic Analysis},
  school = {Universit\`{a} della Svizzera italiana (USI)},
  year = {2018},
}
Powered by bibtexbrowser