%0 Journal Article %1 journals/acta/BaxterRC22a %A Baxter, James %A Ribeiro, Pedro %A Cavalcanti, Ana %D 2022 %J Acta Informatica %K dblp %N 2-3 %P 283 %T Correction to: Sound reasoning in tock-CSP. %U http://dblp.uni-trier.de/db/journals/acta/acta59.html#BaxterRC22a %V 59

@article{journals/acta/BaxterRC22a, added-at = {2022-09-02T00:00:00.000+0200}, author = {Baxter, James and Ribeiro, Pedro and Cavalcanti, Ana}, biburl = {https://www.bibsonomy.org/bibtex/2dacf0b3f98587102b39cecaa999fade1/dblp}, ee = {https://doi.org/10.1007/s00236-021-00409-7}, interhash = {af06dc5aa0089fce018a54a7fc6e3f7b}, intrahash = {dacf0b3f98587102b39cecaa999fade1}, journal = {Acta Informatica}, keywords = {dblp}, number = {2-3}, pages = 283, timestamp = {2024-04-08T16:43:55.000+0200}, title = {Correction to: Sound reasoning in tock-CSP.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta59.html#BaxterRC22a}, volume = 59, year = 2022 }