I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Combining Machine Learning and Formal Techniques for Small ..:

, In: 2020 23rd Euromicro Conference on Digital System Design (DSD),
Drechsler, Rolf ; Huhn, Sebastian ; Plump, Christina - p. 518-525 , 2020
Link: https://doi.org/10.1109/DSD51259.2020.00087