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