Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems

• Autores: Raluca Lefticaru , Florentin Ipate , Luis Valencia Cabrera , Adrian Turcanu, Cristina Tudose, Marian Gheorghe , Mario de Jesús Pérez Jiménez , Ionut Mihai Niculescu, Ciprian Dragomir
• Localización: Tenth Brainstorming Week on Membrane Computing / Francisco José Romero Campero (ed. lit.) , Miguel Ángel Martínez del Amor (ed. lit.) , Gheorge Paun (ed. lit.), Ignacio Pérez Hurtado de Mendoza (ed. lit.) , Manuel Garcia-Quismondo Fernandez (ed. lit.), Luis Felipe Macías Ramos (ed. lit.), Luis Valencia Cabrera (ed. lit.) , Vol. 1, 2012, ISBN 9788494005657, págs. 291-318
• Idioma: inglés
• Enlaces
  • Texto completo