-
541
-
542by Rodriguez, S., Schmidt, F., Moussaoui, S., Le Mouélic, Stéphane, Rannou, P., Barnes, J.W., Sotin, C., Brown, R.H., Baines, K.H., Buratti, B.J., Clark, R.N., Nicholson, P.D.Get access
Published 2010
Conference Object -
543
-
544by Decaulne, Armelle, Mercier, Denis, Cossart, Etienne, Coquin, Julien, Feuillet, ThierryGet access
Published 2014
Conference Object -
545by Decaulne, Armelle, Eggertsson, Ó., Sæmundsson, Þ., Laute, K., Beylich, A.A., Pop, Olympiu, Defive, Emmanuelle, Larrue, SébastienGet access
Published 2010
Get access
Get access
Get access
Conference Object -
546
-
547by Finster, Eric, Mimram, SamuelGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Conference Object -
548
-
549
-
550
-
551by Autret, Ronan, Stéphan, Pierre, Didier, David, Suanez, Serge, S., Fichaut, Bernard, Sigurðarson, Sigurður, Erlingsson, Björn, Ammann, Jérôme, Weiss, Peter, Etienne, SamuelGet access
Published 2018
Conference Object -
552
-
553by Decaulne, Armelle, Mercier, Denis, Cossart, Etienne, Feuillet, Thierry, Jónsson, Helgi Páll, Sæmundsson, ÞorsteinnGet access
Published 2010
Conference Object -
554
-
555by Decaulne, Armelle, Eggertsson, Ó., Sæmundsson, Þ., Laute, K., Beylich, A.A., Pop, Olympiu, Defive, Emmanuelle, Larrue, SébastienGet access
Published 2010
Conference Object -
556by Stéphan, Pierre, Didier, David, Autret, Ronan, Sigurðarson, Sigurður, Etienne, Samuel, Fichaut, Bernard, Suanez, Serge, S.Get access
Published 2018
Conference Object -
557by Decaulne, Armelle, Mercier, Denis, Cossart, Etienne, Thierry, Feuillet, Jónsson, Helgi Páll, Sæmundsson, ÞorsteinnGet access
Published 2013
Conference Object -
558
-
559
-
560