Minjian Zhang - ESEC/FSE 2021

Write a Blog >>

Thu 19 - Sat 28 August 2021 Clowdr Platform

Registered user since Mon 30 Aug 2021

Name:Minjian Zhang

Country:United States

Affiliation:University of Illinois at Urbana-Champaign

Contributions

2021

ESEC/FSE

Checking LTL[F,G,X] on Compressed Traces in Polynomial Time

Show activities from other conferences

ESEC/FSE 2021-profile
View general profile