Runming Li - ICSME 2023

Sun 1 - Fri 6 October 2023 Bogotá, Colombia

Registered user since Fri 1 Sep 2023

Name:Runming Li

Country:United States

Affiliation:Carnegie Mellon University

Contributions

2023

ICSME

Artifact for What’s in a Name? Linear Temporal Logic Literally Represents Time Lines

Show activities from other conferences

ICSME 2023-profile
View general profile