Implementing CCS in Maude
- Cazorla López, Diego (coord.)
Argitaletxea: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Argitalpen urtea: 2000
Orrialdeak: 81-96
Biltzarra: Jornadas de Concurrencia (8. 2000. Cuenca)
Mota: Biltzar ekarpena
Argitaletxea: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Argitalpen urtea: 2000
Orrialdeak: 81-96
Biltzarra: Jornadas de Concurrencia (8. 2000. Cuenca)
Mota: Biltzar ekarpena