论文数: 0 引用数: 0
h-index: 0
机构:
Univ Valencia, Dept Fis Teor, Dr Moliner 50, Burjassot 46100, Spain
Univ Valencia, IFIC, Dr Moliner 50, Burjassot 46100, Spain
CSIC, Dr Moliner 50, Burjassot 46100, Spain Univ Paris Saclay, CNRS, INRIA, Lab Methodes Formelles,ENS Paris Saclay, F-91190 Gif Sur Yvette, France