Performance Aspects of Correctness-oriented Synthesis Flows

@inproceedings{pub11380,
    author = {

Bornebusch, Fritjof
 and 

Lüth, Christoph
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Performance Aspects of Correctness-oriented Synthesis Flows},
    booktitle = {9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2021), 9th, February 8-10, Online-Conference},
    year = {2021},
    note = {Virtual Conference ohne Ortsnennung}
}