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