Jin, X., Zhan, B., Wang, S., & Zhan, N. (2024). HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
Citazione stile Chigago Style (17a edizione)Jin, Xiangyu, Bohua Zhan, Shuling Wang, e Naijun Zhan. HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. 2024.
Citatione MLA (9a ed.)Jin, Xiangyu, et al. HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.