Hoang, Minh Duong and Le, Khanh Trinh and Pham, Ngoc Hung  (2013) An Assume-Guarantee Model Checker for Component-Based Systems.  In: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013), November 11-13, 2013, Hanoi, VIETNAM.