Implementing CCS in Maude
- Cazorla López, Diego (coord.)
Publisher: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Year of publication: 2000
Pages: 81-96
Congress: Jornadas de Concurrencia (8. 2000. Cuenca)
Type: Conference paper
Publisher: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Year of publication: 2000
Pages: 81-96
Congress: Jornadas de Concurrencia (8. 2000. Cuenca)
Type: Conference paper