ARCH-COMP17 Repeatability Evaluation Report (bibtex)

Reference:

Taylor T. Johnson, "ARCH-COMP17 Repeatability Evaluation Report", In 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17), EasyChair, pp. 175–180, 2017.

Bibtex Entry:

@inproceedings{johnson2017archcomp,
  title = {ARCH-COMP17 Repeatability Evaluation Report},
  author = {Taylor T. Johnson},
  year = {2017},
  month = jun,
  booktitle = {4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17)},
  volume = {48},
  pages = {175--180},
  publisher = {EasyChair},
  doi = {10.29007/7hvk},
  publabel = {OW2},
  pubtype = {OW},
  dblp = {conf/cpsweek/Johnson17},
  pdf = "research/johnson2017archcomp.pdf",
}