Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yunhui Ying
conf.researchr.org general profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Mon 20 Feb 2017
Name:
Yunhui Ying
Contributions
2017
LCTES
Author of Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems within the LCTES 2017-track
Share
x
Thu 21 Nov 14:05