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

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

ISSN: 0925-9856

Argitalpen urtea: 2005

Alea: 27

Zenbakia: 1-2

Orrialdeak: 113-172

Mota: Artikulua

DOI: 10.1007/S10703-005-2254-X GOOGLE SCHOLAR
Datuen iturria: Scopus