@inproceedings{Jantsch_Norrish_18,
    address          = {Oxford},
    author           = {Jantsch, Simon and Norrish, Michael},
    booktitle        = {International Conference on Interactive Theorem Proving},
    date             = {2018-7-9},
    doi              = {https://doi.org/10.1007/978-3-319-94821-8\_18},
    editor           = {{Jeremy Avigad and Assia Mahboubi}},
    month            = jul,
    pages            = {306-323},
    paperurl         = {https://trustworthy.systems/publications/full_text/Jantsch_Norrish_18.pdf},
    publisher        = {Springer},
    title            = {Verifying the {LTL} to {B}\"{u}chi Automata Translation via Very Weak Alternating Automata},
    year             = {2018}
  }