%0 Journal Article %1 journals/ijcm/FreundPRV13 %A Freund, Rudolf %A Pérez-Hurtado, Ignacio %A Riscos-Núñez, Agustin %A Verlan, Sergey %D 2013 %J Int. J. Comput. Math. %K dblp %N 4 %P 801-815 %T A formalization of membrane systems with dynamically evolving structures. %U http://dblp.uni-trier.de/db/journals/ijcm/ijcm90.html#FreundPRV13 %V 90

@article{journals/ijcm/FreundPRV13, added-at = {2020-10-26T00:00:00.000+0100}, author = {Freund, Rudolf and Pérez-Hurtado, Ignacio and Riscos-Núñez, Agustin and Verlan, Sergey}, biburl = {https://www.bibsonomy.org/bibtex/2fb9c25a9dc56d61f24538d75152224a8/dblp}, ee = {https://doi.org/10.1080/00207160.2012.748899}, interhash = {ff2e3b2ed7a5acfb84f0e871ce9282b3}, intrahash = {fb9c25a9dc56d61f24538d75152224a8}, journal = {Int. J. Comput. Math.}, keywords = {dblp}, number = 4, pages = {801-815}, timestamp = {2020-10-27T11:45:08.000+0100}, title = {A formalization of membrane systems with dynamically evolving structures.}, url = {http://dblp.uni-trier.de/db/journals/ijcm/ijcm90.html#FreundPRV13}, volume = 90, year = 2013 }