%0 Journal Article %1 journals/fac/AlrajehKRU10 %A Alrajeh, Dalal %A Kramer, Jeff %A Russo, Alessandra %A Uchitel, Sebastián %D 2010 %J Formal Aspects Comput. %K dblp %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 = {2022-10-02T00:00:00.000+0200}, author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/26032425487c570a29b4f27cfd4399064/dblp}, ee = {https://doi.org/10.1007/s00165-009-0128-5}, interhash = {92217ccd8c3776b3c3e14fdf83af20a6}, intrahash = {6032425487c570a29b4f27cfd4399064}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {3-4}, pages = {217-241}, timestamp = {2024-04-09T05:38:14.000+0200}, 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 }