Marino Miculan, Giorgio Bacci. Modal Logics for Brane Calculus. 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 1-16, Springer, 2006. [doi]
Abstract is missing.