Monter d'un niveau |
Bérard, B., Hélouët, L., & Mullins, J. (juin 2015). Non-interference in Partial Order Models [Communication écrite]. 15th International Conference on Application of Concurrency to System Design (ACSD 2015), Brussels, Belgium. Lien externe