Name Card

Full name Familienname, Vorname
Tran, Thanh Hai
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tran Thanh Hai - 2024 - Symbolic Verification of TLA Specifications with...pdf.jpgTran, Thanh Hai Symbolic Verification of TLA+ Specifications with Applications to Distributed AlgorithmsThesis Hochschulschrift 2024
2Tran Thanh Hai - 2016 - User-guided predicate abstraction of TLA specifications.pdf.jpgTran, Thanh Hai User-guided predicate abstraction of TLA+ specificationsThesis Hochschulschrift 2016