When Do We Not Need Complex Assume-Guarantee Rules?
| Title | When Do We Not Need Complex Assume-Guarantee Rules? |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Antti Siirtola, Stavros Tripakis, Keijo Heljanko |
| Journal | ACM Trans. Embedded Comput. Syst. |
| Volume | 16 |
| Pagination | 48:1–48:25 |
| Keywords | 1329759 |
| URL | http://doi.acm.org/10.1145/3012280 |
| DOI | 10.1145/3012280 |
| Citation Key | DBLP:journals/tecs/SiirtolaTH17 |