Title
Una plataforma para la Gestión Formal de Modelos: Aplicación a Especificaciones Prisma
Published in
Informe técnico. Ref. No: DSIC-II/5/04. Pages: 89. Julio 2004. - 2004
Abstract
BibTeX
@misc{issi_web:id:117,
title = "Una plataforma para la Gestión Formal de Modelos: Aplicación a Especificaciones Prisma",
author = "Artur Boronat Moll and Jose Angel Carsí Cubel and Isidro Ramos Salavert",
booktitle = "Informe técnico. Ref. No: DSIC-II/5/04. Pages: 89. Julio 2004.",
year = "2004",
eprint = "http://issi.dsic.upv.es/publications/archives/",
url = "",
abstract = ""
}