-
1
-
2
-
3
-
4
-
5
-
6by Sylwestrzak, Wojtek, Borbinha, José, Bouche, Thierry, Nowiński, Aleksander, Sojka, PetrGet access
Published in Mathematics in Computer Science (2010)
Conference Object -
7
-
8by Bouche, Thierry, Sylwestrzak, Wojtek, Borbinha, José, Nowiński, Aleksander, Sojka, PetrGet access
Published 2010
Conference Object -
9
-
10
-
11
-
12by Jeuring, Johan, Sorge, Volker, Wenzel, Makarius, Sojka, Petr, Reis, Gabriel, Carette, Jacques, Campbell, John AGet access
Published 2012
Get access
-
13
-
14
-
15
-
16by Sylwestrzak, Wojtek, Borbinha, José, Bouche, Thierry, Nowiński, Aleksander, Sojka, PetrGet access
Published 2010
Conference Object -
17