%0 Conference Paper %1 conf/lctrts/LiuP22 %A Liu, Fengyun %A Prokopec, Aleksandar %B LCTES %D 2022 %E Grosser, Tobias %E Lee, Kyoungwoo %I ACM %K dblp %P 13-25 %T Implicit state machines. %U http://dblp.uni-trier.de/db/conf/lctrts/lctes2022.html#LiuP22 %@ 978-1-4503-9266-2

@inproceedings{conf/lctrts/LiuP22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Liu, Fengyun and Prokopec, Aleksandar}, biburl = {https://www.bibsonomy.org/bibtex/207157719315c73c7a067da38ba1dc02a/dblp}, booktitle = {LCTES}, crossref = {conf/lctrts/2022}, editor = {Grosser, Tobias and Lee, Kyoungwoo}, ee = {https://doi.org/10.1145/3519941.3535065}, interhash = {c8f705caf8a6fa61e4dbae207b76ee89}, intrahash = {07157719315c73c7a067da38ba1dc02a}, isbn = {978-1-4503-9266-2}, keywords = {dblp}, pages = {13-25}, publisher = {ACM}, timestamp = {2024-04-09T09:43:53.000+0200}, title = {Implicit state machines.}, url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2022.html#LiuP22}, year = 2022 }