Duong Hoang-Minh

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Relational Databases

Building Blocks

Description Language

Top Venues

Publications

Duong Hoang-Minh, Trinh Le-Khanh, Pham Ngoc Hung
An assume-guarantee model checker for component-based systems. RIVF (2013)