Toward System-Level Assertions for Heterogeneous Systems

@inbook{pub13518,
    author = {

Hassan, Muhammad
 and 

Drechsler, Rolf
 and 

Vörtler, Thilo
 and 

Huhn, Sebastian
 and 

Einwich, Karsten
 and 

Drechsler, Rolf
 and 

Große, Daniel
},
    editor = {

Drechsler, Rolf
 and 

Huhn, Sebastian
},
    title = {Toward System-Level Assertions for Heterogeneous Systems},
    booktitle = {Advanced Boolean Techniques},
    year = {2023},
    pages = {67--81},
    publisher = {Springer}
}