TY  - CONF
ID  - SisLab768
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/768/
A1  - Hoang, Minh Duong
A1  - Le, Khanh Trinh
A1  - Pham, Ngoc Hung
Y1  - 2013/11//
TI  - An Assume-Guarantee Model Checker for Component-Based Systems
SP  - 22
M2  - Hanoi, VIETNAM
AV  - none
EP  - 26
T2  - 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013)
ER  -