Verifying P Systems with Costs by Using Priced-Timed Maude

• Autores: Bogdan Aman, Gabriel Ciobanu
• Localización: Fourteenth Brainstorming Week on Membrane Computing / María del Carmen Graciani Díaz (ed. lit.), David Orellana Martín (ed. lit.), Agustín Riscos Núñez (ed. lit.) , Alvaro Romero Jiménez (ed. lit.), Luis Valencia Cabrera (ed. lit.) , 2016, ISBN 9788494631610, págs. 85-96
• Idioma: inglés
• Enlaces
  • Texto completo