Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Runming Li
conf.researchr.org general profile
ICSME 2023 profile
Registered user since Fri 1 Sep 2023
Name:
Runming Li
Contributions
2023
ICSME
Author of Artifact for What’s in a Name? Linear Temporal Logic Literally Represents Time Lines within the Artifact Evaluation Track and ROSE Festival-track
Share
x
Fri 10 May 22:28