Visible to the public Biblio

Filters: Author is Antti Siirtola  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
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.