Towards Automated Verification of P Systems Using Spin

• Autores: Raluca Lefticaru , Cristina Tudose, Florentin Ipate
• Localización: Ninth Brainstorming Week On Membrane Computing / Miguel Ángel Martínez del Amor (ed. lit.) , Gheorghe Paun (ed. lit.) , Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Francisco José Romero Campero (ed. lit.) , Luis Valencia Cabrera (ed. lit.) , 2011, ISBN 9788461518371, págs. 237-250
• Idioma: inglés
• Enlaces
  • Texto completo