Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}