@phdthesis{vanitchecking,
  title={Checking Safety Properties On-the-fly with the Sweep-Line Method},
  author={Vanit-Anunchai, Somsak},
  school={Springer-Verlag}
}

{"_id":"pyDHsN2NazPNZe3X8","bibbaseid":"vanitanunchai-checkingsafetypropertiesontheflywiththesweeplinemethod","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","title":"Checking Safety Properties On-the-fly with the Sweep-Line Method","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"school":"Springer-Verlag","bibtex":"@phdthesis{vanitchecking,\n title={Checking Safety Properties On-the-fly with the Sweep-Line Method},\n author={Vanit-Anunchai, Somsak},\n school={Springer-Verlag}\n}\n\n","author_short":["Vanit-Anunchai, S."],"key":"vanitchecking","id":"vanitchecking","bibbaseid":"vanitanunchai-checkingsafetypropertiesontheflywiththesweeplinemethod","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["checking","safety","properties","fly","sweep","line","method","vanit-anunchai"],"title":"Checking Safety Properties On-the-fly with the Sweep-Line Method","year":null}