机构:
Natl Res Ctr Women & Families, Canc Prevent & Treatment Fund, Washington, DC USANatl Res Ctr Women & Families, Canc Prevent & Treatment Fund, Washington, DC USA
机构:
Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R ChinaRhein Westfal TH Aachen, Software Modelling & Verificat, Aachen, Germany
Zhang, Lijun
PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS),
2014,