A Logic for Cardinality Constraints

@inproceedings{pub7159,
    author = {

Riener, Heinz
 and 

Keszocze, Oliver
 and 

Drechsler, Rolf
 and 

Fey, Görschwin
},
    title = {A Logic for Cardinality Constraints},
    booktitle = {Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-14), 17., March 10-12, Boeblingen, Germany},
    year = {2014},
    pages = {217--220},
    publisher = {Cullivier Verlag GmbH}
}