Visible to the public Biblio

Filters: Author is Antti Siirtola  [Clear All Filters]
2018-05-14
Antti Siirtola, Stavros Tripakis, Keijo Heljanko.  2017.  When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.