27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
6,076 円
最初のレビュアーになりませんか？
Cláudia Nalon, Renate A. Schmidt
7,900 円
Reinhard Klette, Guan-Ling Lee, Ching-Hsien Hsu, Sheng-Lung Peng
6,076 円
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
6,076 円
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
6,076 円
Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi
7,900 円
Frédéric Cuppens, Nora Cuppens-Boulahia, Sokratis Katsikas, Costas Lambrinoudakis
6,076 円
Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
6,076 円
Martin Fränzle, Deepak Kapur, Naijun Zhan
6,076 円
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
6,076 円
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
6,076 円
Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud
4,861 円
