ARCH-COMP18 Repeatability Evaluation Report (bibtex)

Reference:

Taylor T. Johnson, "ARCH-COMP18 Repeatability Evaluation Report", In 5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18), EasyChair, pp. 128–134, 2018.

Bibtex Entry:

@inproceedings{johnson2018archcomp,
  title = {ARCH-COMP18 Repeatability Evaluation Report},
  author = {Taylor T. Johnson},
  year = {2018},
  month = sep,
  booktitle = {5th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'18)},
  volume = {54},
  pages = {128--134},
  publisher = {EasyChair},
  doi = {10.29007/n9t3},
  publabel = {OW3},
  pubtype = {OW},
  dblp = {conf/adhs/Johnson18},
}