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

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

ISSN: 0925-9856

Datum der Publikation: 2005

Ausgabe: 27

Nummer: 1-2

Seiten: 113-172

Art: Artikel

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