Algebraic simulations

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

ISSN: 1567-8326

Datum der Publikation: 2010

Ausgabe: 79

Nummer: 2

Seiten: 103-143

Art: Artikel

DOI: 10.1016/J.JLAP.2009.07.003 GOOGLE SCHOLAR lock_openOpen Access editor