Paper information
Title
Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques
Published in
15th International Conference on Information System Development, Budapest, Hungary, 31 August, 2006 - 2 September, 2006 (Accepted) Post-proceedings to be printed in a book published by Springer Verlag. - 2006
Abstract


BibTeX
@misc{issi_web:id:192,
        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 = "15th International Conference on Information System Development, Budapest, Hungary, 31 August, 2006 - 2 September, 2006 (Accepted) Post-proceedings to be printed in a book published by Springer Verlag.
",
        year = "2006",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = ""
}