ARCH-COMP19 Repeatability Evaluation Report (bibtex)

Reference:

Taylor T. Johnson, "ARCH-COMP19 Repeatability Evaluation Report", In EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19), EasyChair, pp. 162–169, 2019.

Bibtex Entry:

@inproceedings{johnson2019archcomp,
  title = {ARCH-COMP19 Repeatability Evaluation Report},
  author = {Taylor T. Johnson},
  year = {2019},
  month = may,
  booktitle = {EPiC Series in Computing 61, 6th Applied Verification for Continuous and Hybrid Systems (ARCH'19)},
  volume = {61},
  pages = {162--169},
  publisher = {EasyChair},
  doi = {10.29007/wbl3},
  publabel = {OW5},
  pubtype = {OW},
  dblp = {conf/cpsweek/Johnson19},
  pdf = "research/johnson2019archcomp.pdf",
}