Deciding Behavioural Properties in Brane Calculi

Nadia Busi. Deciding Behavioural Properties in Brane Calculi. In Corrado Priami, editor, Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings. Volume 4210 of Lecture Notes in Computer Science, pages 17-31, Springer, 2006. [doi]

@inproceedings{Busi06,
  title = {Deciding Behavioural Properties in Brane Calculi},
  author = {Nadia Busi},
  year = {2006},
  doi = {10.1007/11885191_2},
  url = {http://dx.doi.org/10.1007/11885191_2},
  researchr = {https://researchr.org/publication/Busi06},
  cites = {0},
  citedby = {0},
  pages = {17-31},
  booktitle = {Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings},
  editor = {Corrado Priami},
  volume = {4210},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46166-3},
}