Two case studies of semantics execution in maude: CCS and LOTOS
ISSN: 0925-9856
Année de publication: 2005
Volumen: 27
Número: 1-2
Pages: 113-172
Type: Article
ISSN: 0925-9856
Année de publication: 2005
Volumen: 27
Número: 1-2
Pages: 113-172
Type: Article