When Do We (Not) Need Complex Assume-Guarantee Rules?
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Researchers
Research units
Details
| Original language | English |
|---|---|
| Title of host publication | 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 |
| Publication status | Published - 2015 |
| MoE publication type | A4 Article in a conference publication |
Publication series
| Name | |
|---|---|
| Publisher | IEEE Computer Society |
| ISSN (Print) | 1550-4808 |
ID: 1958758
