Algebraic simulations

  1. Meseguer, J.
  2. Palomino, M.
  3. Martí-Oliet, N.
Revista:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Año de publicación: 2010

Volumen: 79

Número: 2

Páginas: 103-143

Tipo: Artículo

DOI: 10.1016/J.JLAP.2009.07.003 GOOGLE SCHOLAR lock_openAcceso abierto editor

Objetivos de desarrollo sostenible