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

Any de publicació: 2005

Volum: 27

Número: 1-2

Pàgines: 113-172

Tipus: Article

DOI: 10.1007/S10703-005-2254-X GOOGLE SCHOLAR
Font de les dades: Scopus