%0 Journal Article %1 journals/tcs/BodeiBGLBH17 %A Bodei, Chiara %A Brodo, Linda %A Gori, Roberta %A Levi, Francesca %A Bernini, Antonio %A Hermith, Diana %D 2017 %J Theor. Comput. Sci. %K dblp %P 11-51 %T A static analysis for Brane Calculi providing global occurrence counting information. %U http://dblp.uni-trier.de/db/journals/tcs/tcs696.html#BodeiBGLBH17 %V 696

@article{journals/tcs/BodeiBGLBH17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bodei, Chiara and Brodo, Linda and Gori, Roberta and Levi, Francesca and Bernini, Antonio and Hermith, Diana}, biburl = {https://www.bibsonomy.org/bibtex/22eda3d7b70e0fced937cdea8adbcc196/dblp}, ee = {https://doi.org/10.1016/j.tcs.2017.07.008}, interhash = {bf837c62ddf85fcb3280fc28847fc37c}, intrahash = {2eda3d7b70e0fced937cdea8adbcc196}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {11-51}, timestamp = {2024-04-08T18:35:47.000+0200}, title = {A static analysis for Brane Calculi providing global occurrence counting information.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs696.html#BodeiBGLBH17}, volume = 696, year = 2017 }