Implementing CCS in Maude
- Cazorla López, Diego (coord.)
Verlag: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Datum der Publikation: 2000
Seiten: 81-96
Kongress: Jornadas de Concurrencia (8. 2000. Cuenca)
Art: Konferenz-Beitrag
Verlag: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Datum der Publikation: 2000
Seiten: 81-96
Kongress: Jornadas de Concurrencia (8. 2000. Cuenca)
Art: Konferenz-Beitrag