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