@inproceedings{vanit2023teaching,
  title={Teaching Low-Code Formal Methods with Coloured Petri Nets},
  author={Vanit-Anunchai, Somsak},
  booktitle={Formal Methods Teaching Workshop},
  pages={96--104},
  year={2023},
  organization={Springer, Cham}
}

{"_id":"9mqD6CoTRJjdX2FHm","bibbaseid":"vanitanunchai-teachinglowcodeformalmethodswithcolouredpetrinets-2023","author_short":["Vanit-Anunchai, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Teaching Low-Code Formal Methods with Coloured Petri Nets","author":[{"propositions":[],"lastnames":["Vanit-Anunchai"],"firstnames":["Somsak"],"suffixes":[]}],"booktitle":"Formal Methods Teaching Workshop","pages":"96–104","year":"2023","organization":"Springer, Cham","bibtex":"@inproceedings{vanit2023teaching,\n title={Teaching Low-Code Formal Methods with Coloured Petri Nets},\n author={Vanit-Anunchai, Somsak},\n booktitle={Formal Methods Teaching Workshop},\n pages={96--104},\n year={2023},\n organization={Springer, Cham}\n}\n","author_short":["Vanit-Anunchai, S."],"key":"vanit2023teaching","id":"vanit2023teaching","bibbaseid":"vanitanunchai-teachinglowcodeformalmethodswithcolouredpetrinets-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/HnQC7A6C8WxhqExKR/TCE_Somsak_Vanit-Anunchai.bib","dataSources":["L6NZvGxZEDATB8GEC"],"keywords":[],"search_terms":["teaching","low","code","formal","methods","coloured","petri","nets","vanit-anunchai"],"title":"Teaching Low-Code Formal Methods with Coloured Petri Nets","year":2023}