@inproceedings{027c1b083e5742dbb303d9cd6e347d31,
title = "Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints",
author = "Ingo Feinerer and Gernot Salzer",
year = "2007",
doi = "10.1109/TASE.2007.17",
language = "English",
isbn = "0769528562",
series = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",
pages = "411--420",
booktitle = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",
note = "1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 ; Conference date: 06-06-2007 Through 08-06-2007",
}