@inproceedings{SisLab768,
       booktitle = {2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013)},
           month = {November},
           title = {An Assume-Guarantee Model Checker for Component-Based Systems},
          author = {Minh Duong Hoang and Khanh Trinh Le and Ngoc Hung Pham},
            year = {2013},
           pages = {22--26},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/768/}
}