%0 Journal Article %1 journals/fac/AlrajehKRU10 %A Alrajeh, Dalal %A Kramer, Jeff %A Russo, Alessandra %A Uchitel, Sebastián %D 2010 %J Formal Asp. Comput. %K %N 3-4 %P 217-241 %T Deriving non-Zeno behaviour models from goal models using ILP. %U http://dblp.uni-trier.de/db/journals/fac/fac22.html#AlrajehKRU10 %V 22

@article{journals/fac/AlrajehKRU10, added-at = {2023-12-13T04:07:00.000+0100}, author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2b74f01f7aad5d6b8015cd56db5b8e9ef/admin}, ee = {http://dx.doi.org/10.1007/s00165-009-0128-5}, interhash = {92217ccd8c3776b3c3e14fdf83af20a6}, intrahash = {b74f01f7aad5d6b8015cd56db5b8e9ef}, journal = {Formal Asp. Comput.}, keywords = {}, number = {3-4}, pages = {217-241}, timestamp = {2023-12-13T04:07:00.000+0100}, title = {Deriving non-Zeno behaviour models from goal models using ILP.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac22.html#AlrajehKRU10}, volume = 22, year = 2010 }