@article{gallasch2007checking,
  title={Checking safety properties on-the-fly with the sweep-line method},
  author={Gallasch, Guy Edward and Billington, Jonathan and Vanit-Anunchai, Somsak and Kristensen, Lars Michael},
  journal={International Journal on Software Tools for Technology Transfer},
  volume={9},
  number={3-4},
  pages={371--391},
  year={2007},
  publisher={Springer-Verlag Berlin/Heidelberg}
}

{"_id":"iWKzynDhZD8EovtiQ","bibbaseid":"gallasch-billington-vanitanunchai-kristensen-checkingsafetypropertiesontheflywiththesweeplinemethod-2007","author_short":["Gallasch, G. E.","Billington, J.","Vanit-Anunchai, S.","Kristensen, L. M."],"bibdata":{"bibtype":"article","type":"article","title":"Checking safety properties on-the-fly with the sweep-line method","author":[{"propositions":[],"lastnames":["Gallasch"],"firstnames":["Guy","Edward"],"suffixes":[]},{"propositions":[],"lastnames":["Billington"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]},{"propositions":[],"lastnames":["Kristensen"],"firstnames":["Lars","Michael"],"suffixes":[]}],"journal":"International Journal on Software Tools for Technology Transfer","volume":"9","number":"3-4","pages":"371–391","year":"2007","publisher":"Springer-Verlag Berlin/Heidelberg","bibtex":"@article{gallasch2007checking,\n title={Checking safety properties on-the-fly with the sweep-line method},\n author={Gallasch, Guy Edward and Billington, Jonathan and Vanit-Anunchai, Somsak and Kristensen, Lars Michael},\n journal={International Journal on Software Tools for Technology Transfer},\n volume={9},\n number={3-4},\n pages={371--391},\n year={2007},\n publisher={Springer-Verlag Berlin/Heidelberg}\n}\n\n","author_short":["Gallasch, G. E.","Billington, J.","Vanit-Anunchai, S.","Kristensen, L. M."],"key":"gallasch2007checking","id":"gallasch2007checking","bibbaseid":"gallasch-billington-vanitanunchai-kristensen-checkingsafetypropertiesontheflywiththesweeplinemethod-2007","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["checking","safety","properties","fly","sweep","line","method","gallasch","billington","vanit-anunchai","kristensen"],"title":"Checking safety properties on-the-fly with the sweep-line method","year":2007}