You are here: Home / Publications

Scientific Papers

ISSI Research Papers

Paper information
Title
Compilador para la generaicón Automática del Metanivel de una Especificación mediante la Reificación de Propiedades Nivel Base
Authors
Jennifer Pérez Benedí
Isidro Ramos Salavert
Jose Angel Carsí Cubel
Published in
Informe Técnico, DSIC-II/23/03, octubre 2003 - 2003
Abstract


BibTeX 
@misc{issi_web:id:95,
        title =  "Compilador para la generaicón Automática del Metanivel de una Especificación mediante la Reificación de Propiedades Nivel Base",
        author = "Jennifer Pérez Benedí and Isidro Ramos Salavert and Jose Angel Carsí Cubel",
        booktitle = "Informe Técnico, DSIC-II/23/03, octubre 2003",
        year = "2003",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = ""
}