Formal Verification and Testing Based on P Systems

• Autores: Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
• Localización: Tenth Workshop on Membrane Computing / coord. por Gheorge Paun, Mario de Jesús Pérez Jiménez, Agustín Riscos Núñez, 2009, págs. 33-34
• Idioma: inglés
• Texto completo no disponible (Saber más ...)