Numerical Verification of Affine Systems with up to a Billion Dimensions (bibtex)

Reference:

S Bak, HD Tran and Taylor T. Johnson, "Numerical Verification of Affine Systems with up to a Billion Dimensions", Technical report, arXiv preprint arXiv:1804.01583, 2019.

Bibtex Entry:

@techreport{bak2019hscc_arxiv,
  title = {Numerical Verification of Affine Systems with up to a Billion Dimensions},
  author = {S Bak and HD Tran and Taylor T. Johnson},
  year = {2019},
  institution = {arXiv preprint arXiv:1804.01583},
  publabel = {R8},
  pubtype = {R},
  dblp = {conf/hybrid/BakTJ19},
}