Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets
Keyword(s):
2009 ◽
Vol 20
(6)
◽
pp. 1457-1469
◽
Keyword(s):
2009 ◽
Vol 6
(1-2)
◽
pp. 91-98
Keyword(s):
2012 ◽
Vol 41
(3)
◽
pp. 41-46
◽