This is an archived version of the legacy website of the ISSI Research Group kept for historical purposes. Forms, buttons, and other dynamic content may not work as expected!

Skip to content. | Skip to navigation

Personal tools

Navigation

You are here: Home / Publications

Scientific Papers

ISSI Research Papers

Paper information
Title
Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques
Authors
Elena Navarro Martínez
Patricio Letelier Torres
David Reolid
Isidro Ramos Salavert
Published in
Advances in Information System Development: New Methods and Practice for the Networked Society, Knapp, G.; Wojtkowski, G.; Zupancic, J.; Wrycza, S. (Eds.), Springer, July 20, 2007 - 2007
Abstract


BibTeX 
@misc{issi_web:id:250,
        title =  "Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques",
        author = "Elena Navarro Martínez and Patricio Letelier Torres and David Reolid and Isidro Ramos Salavert",
        booktitle = "Advances in Information System Development: New Methods and Practice for the Networked Society, Knapp, G.; Wojtkowski, G.; Zupancic, J.; Wrycza, S. (Eds.), Springer, July 20, 2007",
        year = "2007",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = ""
}