Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thanh-Hung Nguyen
D-Finder: A Tool for Compositional Deadlock Detection and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science