When Do We (Not) Need Complex Assume-Guarantee Rules?
| Title | When Do We (Not) Need Complex Assume-Guarantee Rules? |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko |
| Conference Name | 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1109/ACSD.2015.19 |
| DOI | 10.1109/ACSD.2015.19 |
| Citation Key | DBLP:conf/acsd/SiirtolaTH15 |