Registered user since Tue 18 Apr 2017

Name: Min Zhang

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

• Author of Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems within the LCTES 2017-track in LCTES 2017
• Show activities from other conferences