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]