Wang, W., Su, R., Lin, L., Gong, C., & Engineering, S. o. E. a. E. (2020). Model checking in isomorphic module systems.
Chicago Style CitationWang, Weilin, Rong Su, Liyong Lin, Chaohui Gong, and School of Electrical and Electronic Engineering. Model Checking in Isomorphic Module Systems. 2020.
MLA CitationWang, Weilin, et al. Model Checking in Isomorphic Module Systems. 2020.
Warning: These citations may not always be 100% accurate.