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 ...)