Publikation
A Logic for Cardinality Constraints
Heinz Riener; Oliver Keszocze; Rolf Drechsler; Görschwin Fey
In: 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, Pages 217-220, Cullivier Verlag GmbH, 2014.
Zusammenfassung
o.A.