Lei Song
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 5
Publications (10 Years): 5
Publications
- Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
- Joost-Pieter Katoen, Lei Song, Lijun ZhangProbably Safe or Live. CoRR (2014)
- Joost-Pieter Katoen, Lei Song, Lijun Zhang
- Lei Song, Lijun Zhang, Jens Chr. Godskesen
- Lei Song, Flemming Nielson, Bo Friis Nielsen