1. Villanueva García, Alicia
  2. Model checking for the concurrent constraint paradigm

Model checking for the concurrent constraint paradigm

Inglés

Model checking for the concurrent constraint paradigm PH.D. thesis

Model checking for the concurrent constraint paradigm PH.D. thesis (Ver registro completo)

Libro
Título Model checking for the concurrent constraint paradigm ;candidate, Alicia Villanueva García ; supervisor, María Alpuente Frasnedo, Moreno Falaschi ;
Lugar de publicación Valencia
Editorial Editorial de la Universidad Politécnica de Valencia
Fecha de publicación [2004]

Descarga en otros formatos

Obtener el registro en ttlObtener el registro en JSON-LDObtener el registro en RDF/XML Ver en catálogo