-
1
-
2
-
3
-
4
-
5
-
6by Baratoux, David, Mangold, N., Arnald, O., Gregoire, M., Ceuleneer, G., van Ginneken, M., Platevoet, B., Bardintzeff, J.M., Chevrier, V., Pinet, P.C., Mathé, P.E.Get access
Published 2005
Conference Object -
7
-
8by Boichu, Marie, Clarisse, Lieven, Péré, Jean-Christophe, Herbin, Hervé, Goloub, Philippe, Thieuleux, François, Khvorostyanov, Dmitry, Ducos, Fabrice, Clerbaux, Cathy, Tanré, DidierGet access
Published 2016
Conference Object -
9
-
10
-
11
-
12by Grison, J., Novoa, Claude, Mazagol, Pierre Olivier, Aubry, P., Grison, M., Mahamoud, Issa, Muffat-Joly, B., Desmet, J.-F., Sèbe, FrédéricGet access
Published 2015
Conference Object -
13
-
14
-
15by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Conference Object -
16by Boichu, Marie, Clarisse, Lieven, Péré, Jean-Christophe, Herbin, Hervé, Goloub, Philippe, Thieuleux, François, Khvorostyanov, Dmitry, Ducos, Fabrice, Winiarek, Victor, Clerbaux, Cathy, Tanré, DidierGet access
Published 2016
Conference Object -
17
-
18
-
19
-
20