@article{7b26c4ec90414ed3819486c0b8c97c02,
title = "Numeric semantics of class diagrams with multiplicity and uniqueness constraints",
keywords = "Configuration management, Formal methods, Integer linear programming, Model engineering, Reasoning about class diagrams",
author = "Ingo Feinerer and Gernot Salzer",
year = "2014",
month = jun,
doi = "10.1007/s10270-012-0294-4",
language = "English",
volume = "13",
pages = "1167--1187",
journal = "Software and Systems Modeling",
issn = "1619-1366",
publisher = "Springer Verlag",
number = "3",
}