APA (7th ed.) Citation

Xu, M., Chen, Y., & Guan, J. (2026). Model Checking Matrix Product States against Linear Chain Logic.

Chicago Style (17th ed.) Citation

Xu, Ming, Yihao Chen, and Ji Guan. Model Checking Matrix Product States Against Linear Chain Logic. 2026.

MLA (9th ed.) Citation

Xu, Ming, et al. Model Checking Matrix Product States Against Linear Chain Logic. 2026.