Riener H, Keszocze O, Drechsler R, Fey G (2014)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2014
Publisher: Cuvillier
ISBN: 9783954046379
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