Registered user since Mon 8 Jul 2019
Name:Thanh-Hai Tran
Affiliation:TU Wien, Austria
Contributions
| SPLASH 2019 | TLA+ Model Checking Made Symbolic TLA+ model checking made symbolic TLA+ model checking made symbolic | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2019-profile
View general profile
View general profile