Implementing CCS in Maude
- Cazorla López, Diego (coord.)
Editorial: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Ano de publicación: 2000
Páxinas: 81-96
Congreso: Jornadas de Concurrencia (8. 2000. Cuenca)
Tipo: Achega congreso
Editorial: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Ano de publicación: 2000
Páxinas: 81-96
Congreso: Jornadas de Concurrencia (8. 2000. Cuenca)
Tipo: Achega congreso