Title | Formal Verication of P Systems with Active Membranes through Model Checking |
Publication Type | Conference Contributions |
Year of Publication | 2011 |
Authors | Ipate, F., Lefticaru R., Pérez-Hurtado I., Pérez-Jiménez M. J., & Tudose C. |
Conference Name | 12th International Conference on Membrane Computing (CMC12) |
Volume Title | Proceedings of the 12th International Conference on Membrane Computing (CMC12) |
Place Published | Fontainebleau, France |
Pages | 241-252 |
Date Published | 08/2011 |
Abstract | Formal verification of P systems using model checking has |
URL | http://cmc12.lacl.fr/cmc12proceedings.pdf |