%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 dblp %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 = {2020-09-08T00:00:00.000+0200}, author = {Borgström, Johannes and Gutkovas, Ramunas and Rodhe, Ioana and Victor, Björn}, biburl = {https://www.bibsonomy.org/bibtex/2e7e4c02de2ea58928a4d2ce8fa15cc4a/dblp}, ee = {https://doi.org/10.1145/2682570}, interhash = {cf89cbefcb69ca736d90a4c9601f7059}, intrahash = {e7e4c02de2ea58928a4d2ce8fa15cc4a}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = 1, pages = {9:1-9:25}, timestamp = {2020-09-09T12:41:13.000+0200}, 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 }