Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/isdevel/AtingaK10
AU - Ating'a, Peter Oluoch
AU - Krishna, Aneesh
TI - Verification of i* Models Using Alloy.
BT - Information Systems Development, Business Systems and Services: Modeling and Development [Proceedings of ISD 2010, Charles University in Prague, Czech Republic, August 25-27, 2010]
SP - 63
EP - 74
PY - 2010//
DO - 10.1007/978-1-4419-9790-6_5
UR - https://doi.org/10.1007/978-1-4419-9790-6_5
ER -
