Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thanh-Liem Phan

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

English