A Logic for Cardinality Constraints
Riener H, Keszocze O, Drechsler R, Fey G (2014)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2014
Publisher: Cuvillier
Event location: Böblingen
ISBN: 9783954046379
Authors with CRIS profile
Involved external institutions
École Polytechnique Fédérale de Lausanne (EPFL)
Switzerland (CH)
Universität Bremen
Germany (DE)
Technische Universität Hamburg-Harburg (TUHH)
Germany (DE)
Switzerland (CH)
Universität Bremen
Germany (DE)
Technische Universität Hamburg-Harburg (TUHH)
Germany (DE)
How to cite
APA:
Riener, H., Keszocze, O., Drechsler, R., & Fey, G. (2014). A Logic for Cardinality Constraints. In Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Böblingen, DE: Cuvillier.
MLA:
Riener, Heinz, et al. "A Logic for Cardinality Constraints." Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Böblingen Cuvillier, 2014.
BibTeX: Download