%0 Journal Article %1 journals/lmcs/BolligFS24 %A Bollig, Benedikt %A Finkel, Alain %A Suresh, Amrita %D 2024 %J Log. Methods Comput. Sci. %K dblp %N 2 %T Branch-Well-Structured Transition Systems and Extensions. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs20.html#BolligFS24 %V 20

@article{journals/lmcs/BolligFS24, added-at = {2024-07-18T00:00:00.000+0200}, author = {Bollig, Benedikt and Finkel, Alain and Suresh, Amrita}, biburl = {https://www.bibsonomy.org/bibtex/286066416bf0d09389300991bc1806a13/dblp}, ee = {https://doi.org/10.46298/lmcs-20(2:12)2024}, interhash = {15fe9164876581480fa7338bb8c477d5}, intrahash = {86066416bf0d09389300991bc1806a13}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 2, timestamp = {2024-07-22T07:12:36.000+0200}, title = {Branch-Well-Structured Transition Systems and Extensions.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs20.html#BolligFS24}, volume = 20, year = 2024 }