When Do We (Not) Need Complex Assume-Guarantee Rules?

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units


Original languageEnglish
Title of host publication15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

PublisherIEEE Computer Society
ISSN (Print)1550-4808

ID: 1958758