Publikation
Toward System-Level Assertions for Heterogeneous Systems
Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große
In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.