Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir. An Integrated Approach to P Systems Formal Verification. In Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, editors, Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers. Volume 6501 of Lecture Notes in Computer Science, pages 226-239, Springer, 2010. [doi]
Abstract is missing.