%A Minh Duong Hoang
%A Khanh Trinh Le
%A Ngoc Hung Pham
%T An Assume-Guarantee Model Checker for Component-Based Systems
%C Hanoi, VIETNAM
%D 2013
%P 22-26
%L SisLab768