%0 Conference Paper %1 itani_05_formal %A Itani, W. %A Logrippo, L. %D 2005 %J Electrical and Computer Engineering, 2005. Canadian Conference on %K _hardcopy formal 2005 alloy requirements %P 916--919 %R 10.1109/CCECE.2005.1557126 %T Formal approaches to requirements engineering: from behavior trees to alloy %U http://dx.doi.org/10.1109/CCECE.2005.1557126

@inproceedings{itani_05_formal, added-at = {2009-02-11T21:02:55.000+0100}, author = {Itani, W. and Logrippo, L.}, biburl = {https://www.bibsonomy.org/bibtex/2c4588a10082517dd91e14e46034521c0/leonardo}, citeulike-article-id = {747935}, doi = {10.1109/CCECE.2005.1557126}, interhash = {2cda575e56cb22fcbbb9c35517939fef}, intrahash = {c4588a10082517dd91e14e46034521c0}, journal = {Electrical and Computer Engineering, 2005. Canadian Conference on}, keywords = {_hardcopy formal 2005 alloy requirements}, pages = {916--919}, posted-at = {2008-03-16 17:16:55}, priority = {2}, timestamp = {2009-02-11T21:02:55.000+0100}, title = {Formal approaches to requirements engineering: from behavior trees to alloy}, url = {http://dx.doi.org/10.1109/CCECE.2005.1557126}, year = 2005 }