Registered: 154 Cosmology

First Page		Document Content
Date: 2016-03-12 04:18:49 Gif-sur-Yvette Orsay Saclay cole Polytechnique Fdrale de Lausanne Jodrell Bank Centre for Astrophysics International School for Advanced Studies Higher education Astrophysics Academia Paris-Saclay Education in Switzerland		Registered: 154 Cosmology Add to Reading List Source URL: moriond.in2p3.fr Download Document from Source Website File Size: 132,63 KB Share Document on Facebook

	Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name DocID: 1xVZb - View Document
	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay DocID: 1xVe6 - View Document
	1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay DocID: 1xURr - View Document
	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay DocID: 1xUic - View Document
	PDF Document DocID: 1wjqr - View Document