Citations refer to the original publication, not to a Scieee localized version.
Ipate, F., Lefticaru, R., Pérez Hurtado de Mendoza, I., Pérez Jiménez, M. D. J., & Tudose, C. (2011). Formal Verification of P Systems with Active Membranes through Model Checking. Springer. https://doi.org/10.1007/978-3-642-28024-5_15
Ipate, Florentin, et al. Formal Verification of P Systems with Active Membranes through Model Checking. Springer, 2011. https://doi.org/10.1007/978-3-642-28024-5_15.
Ipate, Florentin, Raluca Lefticaru, Ignacio Pérez Hurtado de Mendoza, Mario de Jesús Pérez Jiménez, and Cristina Tudose. Formal Verification of P Systems with Active Membranes through Model Checking. Springer, 2011. https://doi.org/10.1007/978-3-642-28024-5_15.
Ipate, F. et al. (2011) Formal Verification of P Systems with Active Membranes through Model Checking. Springer. Available at: https://doi.org/10.1007/978-3-642-28024-5_15.
F. Ipate, R. Lefticaru, I. Pérez Hurtado de Mendoza, M. D. J. Pérez Jiménez, and C. Tudose, “Formal Verification of P Systems with Active Membranes through Model Checking,” Springer, 2011, doi: 10.1007/978-3-642-28024-5_15.
@misc{ipate2011formal,
author = {Ipate, Florentin and Lefticaru, Raluca and Pérez Hurtado de Mendoza, Ignacio and Pérez Jiménez, Mario de Jesús and Tudose, Cristina},
title = {Formal Verification of P Systems with Active Membranes through Model Checking},
year = {2011},
publisher = {Springer},
doi = {10.1007/978-3-642-28024-5_15},
url = {https://doi.org/10.1007/978-3-642-28024-5_15}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
