Media type: E-Book; Conference Proceedings Title: ScaLP : a light-weighted (MI)LP-library Contributor: Sittel, Patrick [VerfasserIn]; Schönwälder, Thomas [VerfasserIn]; Kumm, Martin [VerfasserIn]; Zipf, Peter [VerfasserIn] Event: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen imprint: Tübingen: Universitätsbibliothek Tübingen, 2018 Published in: MBMV 2018 Extent: 1 Online-Ressource Language: English DOI: 10.15496/publikation-25686 Identifier: Keywords: Entwurfsautomation ; Konferenzschrift 2018 Tübingen Origination: Footnote: Access State: Open Access