External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Integrated Approach to P Systems Formal Verification

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]

Authors

Marian Gheorghe

This author has not been identified. Look up 'Marian Gheorghe' in Google

Florentin Ipate

This author has not been identified. Look up 'Florentin Ipate' in Google

Raluca Lefticaru

This author has not been identified. Look up 'Raluca Lefticaru' in Google

Ciprian Dragomir

This author has not been identified. Look up 'Ciprian Dragomir' in Google
runs on