%0 Conference Paper
%A Hoang, Minh Duong
%A Le, Khanh Trinh
%A Pham, Ngoc Hung
%B 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013)
%C Hanoi, VIETNAM
%D 2013
%F SisLab:768
%P 22-26
%T An Assume-Guarantee Model Checker for Component-Based Systems
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/768/