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

On the Use of Semantic-Based AIG to Automatically Generate ..:

, In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education,
Zavala, Laura ; Mendoza, Benito - p. 14-19 , 2018
Link: https://dl.acm.org/doi/10.1145/3159450.3159608