![](/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 - Non-interference in Partial Order Models
Berard, Beatrice, Helouet, Loic, Mullins, JohnYear:
2015
Language:
english
DOI:
10.1109/acsd.2015.11
File:
PDF, 401 KB
english, 2015