Lei Song
发表
Yuxin Deng,
Lei Song,
2009
.
Holger Hermanns,
Lei Song,
Vahid Hashemi,
2016,
VMCAI.
Lijun Zhang,
Chen Fu,
Yuan Feng,
2018,
IJCAI.
Lijun Zhang,
Yuan Feng,
Lei Song,
2015,
ArXiv.
Lijun Zhang,
Joost-Pieter Katoen,
Lei Song,
2014,
CSL-LICS.
Lijun Zhang,
Lei Song,
Jens Chr. Godskesen,
2011,
CONCUR.
Lijun Zhang,
Holger Hermanns,
Lei Song,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Lijun Zhang,
Lei Song,
Jens Chr. Godskesen,
2012,
ArXiv.
Lijun Zhang,
Yuan Feng,
Yong Li,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Flemming Nielson,
Bo Friis Nielsen,
Lei Song,
2011,
QAPL.
K. Subramani,
Holger Hermanns,
Lei Song,
2016,
LATA.
Lijun Zhang,
Yuan Feng,
Lei Song,
2015,
IJCAI.
Lijun Zhang,
Ji Wang,
Lei Song,
2015,
IJCAI.