Deriving Non-Zeno Behaviour Models From Goal Models Using ILP
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-009-0128-5
Full Text
Open PDFAbstract
Available in full text
Date
October 6, 2009
Authors
Publisher
Springer Science and Business Media LLC