@inproceedings{gallasch2005checking,
  title={Checking language inclusion on-the-fly with the sweep-line method},
  author={Gallasch, Guy Edward and Vanit-Anunchai, Somsak and Billington, Jonathan and Kristensen, Lars Michael},
  booktitle={Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},
  pages={1},
  year={2005}
}

{"_id":"4GKPMHtSKBvehsMT7","bibbaseid":"gallasch-vanitanunchai-billington-kristensen-checkinglanguageinclusionontheflywiththesweeplinemethod-2005","author_short":["Gallasch, G. E.","Vanit-Anunchai, S.","Billington, J.","Kristensen, L. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Checking language inclusion on-the-fly with the sweep-line method","author":[{"propositions":[],"lastnames":["Gallasch"],"firstnames":["Guy","Edward"],"suffixes":[]},{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]},{"propositions":[],"lastnames":["Billington"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Kristensen"],"firstnames":["Lars","Michael"],"suffixes":[]}],"booktitle":"Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools","pages":"1","year":"2005","bibtex":"@inproceedings{gallasch2005checking,\n title={Checking language inclusion on-the-fly with the sweep-line method},\n author={Gallasch, Guy Edward and Vanit-Anunchai, Somsak and Billington, Jonathan and Kristensen, Lars Michael},\n booktitle={Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},\n pages={1},\n year={2005}\n}\n\n","author_short":["Gallasch, G. E.","Vanit-Anunchai, S.","Billington, J.","Kristensen, L. M."],"key":"gallasch2005checking","id":"gallasch2005checking","bibbaseid":"gallasch-vanitanunchai-billington-kristensen-checkinglanguageinclusionontheflywiththesweeplinemethod-2005","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["checking","language","inclusion","fly","sweep","line","method","gallasch","vanit-anunchai","billington","kristensen"],"title":"Checking language inclusion on-the-fly with the sweep-line method","year":2005}