Longtao Ren

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Reactive Systems

Top Venues

Publications

Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang
Accelerating Software Model Checking Based on Program Backbone. APPT (2013)