-
21by Fauth, Camille, Bonneau, Anne, Zimmerer, Frank, Trouvain, Jürgen, Andreeva, Bistra, Colotte, Vincent, Fohr, Dominique, Jouvet, Denis, Jügler, Jeanin, Laprie, Yves, Mella, Odile, Möbius, BerndContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published 2014
Get access
Get access
Get access
Conference Object -
22by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, DmitriyContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
23Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
24Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
25by Vuissoz, Pierre-André, Odille, Freddy, Laprie, Yves, Vincent, Emmanuel, Hossu, Gabriela, Felblinger, JacquesContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published 2014
Get access
Get access
Get access
Conference Object -
26by Vuissoz, Pierre-André, Odille, Freddy, Laprie, Yves, Vincent, Emmanuel, Hossu, Gabriela, Felblinger, JacquesContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published 2014
Get access
Get access
Get access
Conference Object -
27Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
28Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
29Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
30Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
31by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
32by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
33by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
34by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
35by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
36by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
37Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
38by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, AlanContributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
39Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object -
40Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL...”
Get access
Get access
Get access
Conference Object