Name Card

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

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Scaglioni, Andrea ; An, Xin ; Dick, Josef ; Feischl, Michael ; Tran, Thanh Hai Sparse grid approximation of stochastic dynamic micromagneticsPresentation Vortrag27-Feb-2024
2Tran 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
3Tran Thanh Hai - 2016 - User-guided predicate abstraction of TLA specifications.pdf.jpgTran, Thanh Hai User-guided predicate abstraction of TLA+ specificationsThesis Hochschulschrift 2016