Proceedings 15th International Conference on Application of Concurrency to System Design (ACSD), 2015

Stefan Haar 1, 2 Roland Meyer 3
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Stefan Haar and Roland Meyer. ACSD 2015, Jun 2015, Brussels, Belgium. IEEE 2015, IEEE, 〈10.1109/ACSD.2015.23〉. 〈http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352411〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01250369
Contributeur : Stefan Haar <>
Soumis le : lundi 4 janvier 2016 - 16:33:09
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

Citation

Stefan Haar, Roland Meyer. Proceedings 15th International Conference on Application of Concurrency to System Design (ACSD), 2015 . Stefan Haar and Roland Meyer. ACSD 2015, Jun 2015, Brussels, Belgium. IEEE 2015, IEEE, 〈10.1109/ACSD.2015.23〉. 〈http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352411〉. 〈hal-01250369〉

Partager

Métriques

Consultations de la notice

346