Impacts of high-speed rail stations opening on the regional innovation level : analysis based on scoring tendency matching model

von Fan, Hongyu
Veröffentlicht in Modern economy (2020)

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution)

von He, Fei
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)