23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
最初のレビュアーになりませんか？
Mohammad Reza Mousavi, Christian Berger
4,862 円
Marsha Chechik, Jean-François Raskin
6,076 円
Barbara Jobstmann, K. Rustan M. Leino
6,076 円
Axel Legay, Tiziana Margaria
6,076 円
Axel Legay, Tiziana Margaria
6,076 円
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
6,076 円
Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi
6,076 円
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
24,026 円
Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis
6,076 円
David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi
6,076 円
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
6,076 円
Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor
6,076 円
Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
6,076 円
Anne Remke, Boudewijn R. Haverkort
6,076 円
Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu
6,076 円
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
18,231 円
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
6,076 円
