Simulation and verification of synchronous set relations in rewriting logic

Camilo Rocha, César Muñoz

Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

2 Citas (Scopus)

Huella

Profundice en los temas de investigación de 'Simulation and verification of synchronous set relations in rewriting logic'. En conjunto forman una huella única.

Computer Science

INIS

Keyphrases