Implementing CCS in Maude

  1. Martí Oliet, Narciso
  2. Verdejo López, José Alberto
Buch:
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
  1. 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

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet