Login / Signup

Deriving non-Zeno behaviour models from goal models using ILP.

Dalal AlrajehJeff KramerAlessandra RussoSebastián Uchitel
Published in: Formal Aspects Comput. (2010)
Keyphrases