Carré, J.-L., École normale supérieure - Cachan (ENS Cachan), École normale supérieure de Cachan - ENS Cachan, & Jean Goubault-Larrecq. (2010). Static analysis of embedded multithreaded programs ; Analyse statique de programmes parallèles. HAL CCSD.
ISO-690 (author-date, English)CARRÉ, Jean-Loup, ÉCOLE NORMALE SUPÉRIEURE - CACHAN (ENS CACHAN), ÉCOLE NORMALE SUPÉRIEURE DE CACHAN - ENS CACHAN und JEAN GOUBAULT-LARRECQ, 2010. Static analysis of embedded multithreaded programs ; Analyse statique de programmes parallèles. HAL CCSD.
Modern Language Association 9th editionCarré, J.-L., École normale supérieure - Cachan (ENS Cachan), École normale supérieure de Cachan - ENS Cachan, und Jean Goubault-Larrecq. Static analysis of embedded multithreaded programs ; Analyse statique de programmes parallèles. HAL CCSD, 2010.
Mohr Siebeck - Recht (Deutsch - Österreich)Carré, Jean-Loup/École normale supérieure - Cachan (ENS Cachan)/École normale supérieure de Cachan - ENS Cachan/Jean Goubault-Larrecq: Static analysis of embedded multithreaded programs ; Analyse statique de programmes parallèles, 2010.
Emerald - HarvardCarré, J.-L., École normale supérieure - Cachan (ENS Cachan), École normale supérieure de Cachan - ENS Cachan und Jean Goubault-Larrecq. (2010), Static analysis of embedded multithreaded programs ; Analyse statique de programmes parallèles, Bd. , HAL CCSD.