%0 Journal Article %1 journals/lmcs/BlondinFM17 %A Blondin, Michael %A Finkel, Alain %A McKenzie, Pierre %D 2017 %J Logical Methods in Computer Science %K %N 3 %T Well Behaved Transition Systems. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#BlondinFM17 %V 13

@article{journals/lmcs/BlondinFM17, added-at = {2023-12-13T04:30:53.000+0100}, author = {Blondin, Michael and Finkel, Alain and McKenzie, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2b1905f434c81a9d3023abc174b570e78/admin}, ee = {https://doi.org/10.23638/LMCS-13(3:24)2017}, interhash = {96ced6e702a6d4e56c717f456b33027c}, intrahash = {b1905f434c81a9d3023abc174b570e78}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 3, timestamp = {2023-12-13T04:30:53.000+0100}, title = {Well Behaved Transition Systems.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#BlondinFM17}, volume = 13, year = 2017 }