Verification of i* models using alloy
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Paper |
| Published: |
Springer
2011
|
| Online Access: | http://hdl.handle.net/20.500.11937/3129 |
| _version_ | 1848744146786844672 |
|---|---|
| author | Oluoch Ating'a, Peter Krishna, Aneesh |
| author2 | J Porkorny |
| author_facet | J Porkorny Oluoch Ating'a, Peter Krishna, Aneesh |
| author_sort | Oluoch Ating'a, Peter |
| building | Curtin Institutional Repository |
| collection | Online Access |
| first_indexed | 2025-11-14T05:56:50Z |
| format | Conference Paper |
| id | curtin-20.500.11937-3129 |
| institution | Curtin University Malaysia |
| institution_category | Local University |
| last_indexed | 2025-11-14T05:56:50Z |
| publishDate | 2011 |
| publisher | Springer |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | curtin-20.500.11937-31292023-01-18T08:46:46Z Verification of i* models using alloy Oluoch Ating'a, Peter Krishna, Aneesh J Porkorny V Repa K Richta W Wojtkowski H Linger C Barry M Lang 2011 Conference Paper http://hdl.handle.net/20.500.11937/3129 Springer restricted |
| spellingShingle | Oluoch Ating'a, Peter Krishna, Aneesh Verification of i* models using alloy |
| title | Verification of i* models using alloy |
| title_full | Verification of i* models using alloy |
| title_fullStr | Verification of i* models using alloy |
| title_full_unstemmed | Verification of i* models using alloy |
| title_short | Verification of i* models using alloy |
| title_sort | verification of i* models using alloy |
| url | http://hdl.handle.net/20.500.11937/3129 |