Babich, Mikhail Yu., JSC Research and Production Enterprise “Rubin”, 440000, Russia, Penza, Baydukova St., 2, Russian Federation

• Nexo Revista Científica Vol. 34 Núm. 01 (2021) - Artículo
  Ejemplos de comportamiento para sintetizar modelos de autómatas mediante fórmulas temporales
  Resumen  PDF (English)