Richthammer, Valentin
[VerfasserIn];
Glaß, Michael
[VerfasserIn]
;
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen
On search-space restriction for design space exploration of multi-/many-core systems