Arnaud Lanoix

Documents

Publications

838042

	Relaxing B Sharing Restrictions within CSP\|\|B Arnaud Lanoix , Olga Kouchnarenko , Samuel Colin , Vincent Poirriez International Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50 Communication dans un congrès hal-00699997v1

	Relaxing B Sharing Restrictions within CSP\|\|B Arnaud Lanoix , Olga Kouchnarenko , Samuel Colin , Vincent Poirriez 2010 Pré-publication, Document de travail hal-00495769v1