Duong Hoang-Minh, Trinh Le-Khanh, Pham Ngoc Hung. An assume-guarantee model checker for component-based systems. In 2013 IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future, RIVF 2013, Hanoi, Vietnam, November 10-13, 2013. pages 22-26, IEEE, 2013. [doi]
Abstract is missing.