共 50 条
- [6] A logic for model-checking mean-field models 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2013,
- [7] Scaling in kinetic mean-field models for coarsening phenomena PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS (ICM 2014), VOL IV, 2014, : 1087 - 1100