%0 Conference Paper %1 conf/fscd/0001MS0U22 %A Goncharov, Sergey %A Milius, Stefan %A Schröder, Lutz %A Tsampas, Stelios %A Urbat, Henning %B FSCD %D 2022 %E Felty, Amy P. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 30:1-30:19 %T Stateful Structural Operational Semantics. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#0001MS0U22 %V 228 %@ 978-3-95977-233-4

@inproceedings{conf/fscd/0001MS0U22, added-at = {2022-10-02T00:00:00.000+0200}, author = {Goncharov, Sergey and Milius, Stefan and Schröder, Lutz and Tsampas, Stelios and Urbat, Henning}, biburl = {https://www.bibsonomy.org/bibtex/23efffe400953ce027ab1f1cdc089bc99/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2022}, editor = {Felty, Amy P.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2022.30}, interhash = {ab59acf3cde1d6240a7debe385d6a649}, intrahash = {3efffe400953ce027ab1f1cdc089bc99}, isbn = {978-3-95977-233-4}, keywords = {dblp}, pages = {30:1-30:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:49.000+0200}, title = {Stateful Structural Operational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#0001MS0U22}, volume = 228, year = 2022 }