ARCH-COMP21 Repeatability Evaluation Report (bibtex)

Reference:

Taylor T. Johnson, "ARCH-COMP21 Repeatability Evaluation Report", In EPiC Series in Computing 80, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), EasyChair, pp. 153–160, 2021.

Bibtex Entry:

@inproceedings{johnson2021archcomp,
  title = {ARCH-COMP21 Repeatability Evaluation Report},
  author = {Taylor T. Johnson},
  year = {2021},
  month = dec,
  booktitle = {EPiC Series in Computing 80, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  volume = {80},
  pages = {153--160},
  publisher = {EasyChair},
  doi = {10.29007/zqdx},
  publabel = {OW9},
  pubtype = {OW},
  dblp = {conf/arch/Johnson21},
  pdf = "research/johnson2021archcomp.pdf",
}