@inproceedings{brett2017rewriting,
  title={Rewriting-based runtime verification for alternation-free HyperLTL},
  author={Brett, Noel and Siddique, Umair and Bonakdarpour, Borzoo},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={77--93},
  year={2017},
  organization={Springer}
}

{"_id":"fwX3TXxZCPcByjnzj","bibbaseid":"brett-siddique-bonakdarpour-rewritingbasedruntimeverificationforalternationfreehyperltl-2017","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Brett, N.","Siddique, U.","Bonakdarpour, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Rewriting-based runtime verification for alternation-free HyperLTL","author":[{"propositions":[],"lastnames":["Brett"],"firstnames":["Noel"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Bonakdarpour"],"firstnames":["Borzoo"],"suffixes":[]}],"booktitle":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","pages":"77–93","year":"2017","organization":"Springer","bibtex":"@inproceedings{brett2017rewriting,\n title={Rewriting-based runtime verification for alternation-free HyperLTL},\n author={Brett, Noel and Siddique, Umair and Bonakdarpour, Borzoo},\n booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},\n pages={77--93},\n year={2017},\n organization={Springer}\n}\n\n","author_short":["Brett, N.","Siddique, U.","Bonakdarpour, B."],"key":"brett2017rewriting","id":"brett2017rewriting","bibbaseid":"brett-siddique-bonakdarpour-rewritingbasedruntimeverificationforalternationfreehyperltl-2017","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:37:50.283Z","downloads":0,"keywords":[],"search_terms":["rewriting","based","runtime","verification","alternation","free","hyperltl","brett","siddique","bonakdarpour"],"title":"Rewriting-based runtime verification for alternation-free HyperLTL","year":2017,"dataSources":["uJ4pwb9QCmSwZvTf3"]}