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