Registered user since Fri 23 Nov 2018
Name:Jia Lee
Affiliation:POSTECH
Contributions
| ASE 2021 | Efficient SMT-Based Model Checking for Signal Temporal Logic Efficient SMT-Based Model Checking for Signal Temporal Logic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2021-profile
View general profile
View general profile