-
1
-
2
-
3
-
4
-
5
-
6
-
7by 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 -
8
-
9by 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 -
10
-
11
-
12
-
13
-
14by 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 -
15
-
16
-
17by 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 -
18by 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 -
19
-
20