%0 Journal Article %1 journals/tecs/BorgstromGRV15 %A Borgström, Johannes %A Gutkovas, Ramunas %A Rodhe, Ioana %A Victor, Björn %D 2015 %J ACM Trans. Embed. Comput. Syst. %K %N 1 %P 9:1-9:25 %T The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. %U http://dblp.uni-trier.de/db/journals/tecs/tecs14.html#BorgstromGRV15 %V 14

@article{journals/tecs/BorgstromGRV15, added-at = {2023-12-13T09:35:40.000+0100}, author = {Borgström, Johannes and Gutkovas, Ramunas and Rodhe, Ioana and Victor, Björn}, biburl = {https://www.bibsonomy.org/bibtex/2e7e4c02de2ea58928a4d2ce8fa15cc4a/admin}, ee = {https://doi.org/10.1145/2682570}, interhash = {cf89cbefcb69ca736d90a4c9601f7059}, intrahash = {e7e4c02de2ea58928a4d2ce8fa15cc4a}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {}, number = 1, pages = {9:1-9:25}, timestamp = {2023-12-13T09:35:40.000+0100}, title = {The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs14.html#BorgstromGRV15}, volume = 14, year = 2015 }