ARCH-COMP20 Repeatability Evaluation Report (bibtex)

Reference:

Taylor T. Johnson, "ARCH-COMP20 Repeatability Evaluation Report", In EPiC Series in Computing 74, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'20), EasyChair, pp. 175–183, 2020.

Bibtex Entry:

@inproceedings{johnson2020archcomp,
  title = {ARCH-COMP20 Repeatability Evaluation Report},
  author = {Taylor T. Johnson},
  year = {2020},
  month = sep,
  booktitle = {EPiC Series in Computing 74, 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH'20)},
  volume = {74},
  pages = {175--183},
  publisher = {EasyChair},
  doi = {10.29007/8dp4},
  publabel = {OW7},
  pubtype = {OW},
  dblp = {conf/arch/Johnson20},
  pdf = "research/johnson2020archcomp.pdf",
}