Login / Signup

Formal Verification of P Systems with Active Membranes through Model Checking.

Florentin IpateRaluca LefticaruIgnacio Pérez-HurtadoMario J. Pérez-JiménezCristina Tudose
Published in: Int. Conf. on Membrane Computing (2011)
Keyphrases