![](/img/cover-not-exists.png)
[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Incremental Generation of Linear Invariants for Component-Based Systems
Bensalem, Saddek, Bozga, Marius, Boyer, Benoit, Legay, AxelYear:
2013
Language:
english
DOI:
10.1109/ACSD.2013.11
File:
PDF, 557 KB
english, 2013