![](/img/cover-not-exists.png)
[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - When Do We (Not) Need Complex Assume-Guarantee Rules?
Siirtola, Antti Tapani, Tripakis, Stavros, Heljanko, KeijoYear:
2015
Language:
english
DOI:
10.1109/acsd.2015.19
File:
PDF, 440 KB
english, 2015