Ir al contenido

Documat


FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos


Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno