Scientific Papers

ISSI Research Papers

Paper information

Title
Una plataforma para la Gestión Formal de Modelos: Aplicación a Especificaciones Prisma

Authors

Artur Boronat Moll

Jose Angel Carsí Cubel

Isidro Ramos Salavert

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 = ""
}