Two case studies of semantics execution in maude: CCS and LOTOS

  1. Verdejo, A.
  2. Martí-Oliet, N.
Revista:
Formal Methods in System Design

ISSN: 0925-9856

Año de publicación: 2005

Volumen: 27

Número: 1-2

Páginas: 113-172

Tipo: Artículo

DOI: 10.1007/S10703-005-2254-X GOOGLE SCHOLAR
Fuente de los datos: Scopus