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]
@inproceedings{GheorgheILD10,
title = {An Integrated Approach to P Systems Formal Verification},
author = {Marian Gheorghe and Florentin Ipate and Raluca Lefticaru and Ciprian Dragomir},
year = {2010},
doi = {10.1007/978-3-642-18123-8_18},
url = {http://dx.doi.org/10.1007/978-3-642-18123-8_18},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/GheorgheILD10},
cites = {0},
citedby = {0},
pages = {226-239},
booktitle = {Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers},
editor = {Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa},
volume = {6501},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-18122-1},
}