Simulation and Verification in a Process Calculus for Spatially-Explicit

Fecha

2014-06-01

Autores

TORO, MAURICIO

Título de la revista

ISSN de la revista

Título del volumen

Editor

Alexandru Ioan Cuza University of Iasi

Resumen

Descripción

Palabras clave

Citación

URI

http://hdl.handle.net/10784/28689

Colecciones

Artículos (GIDITIC)