TY - GEN
AU - Sittel, Patrick
AU - Schönwälder, Thomas
AU - Kumm, Martin
AU - Zipf, Peter
AU - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen
TI - ScaLP a light-weighted (MI)LP-library
PB - Universitätsbibliothek Tübingen
KW - Entwurfsautomation
KW - Konferenzschrift 2018 Tübingen
PY - 2018
BT - MBMV 2018
CY - Tübingen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation