> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: ScaLP : a light-weighted (MI)LP-library Beteiligte: Sittel, Patrick [VerfasserIn]; Schönwälder, Thomas [VerfasserIn]; Kumm, Martin [VerfasserIn]; Zipf, Peter [VerfasserIn] Veranstaltung: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Erschienen: Tübingen: Universitätsbibliothek Tübingen, 2018 Erschienen in: MBMV 2018 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.15496/publikation-25686 Identifikator: Schlagwörter: Entwurfsautomation ; Konferenzschrift 2018 Tübingen Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang