Information Journal Paper
APA:
CopyPAN, H., & LI, Y.. (2016). MODEL CHECKING COMPUTATION TREE LOGIC OVER FINITE LATTICES. THEORETICAL COMPUTER SCIENCE, 612(-), 45-62. SID. https://sid.ir/paper/695927/en
Vancouver:
CopyPAN H., LI Y.. MODEL CHECKING COMPUTATION TREE LOGIC OVER FINITE LATTICES. THEORETICAL COMPUTER SCIENCE[Internet]. 2016;612(-):45-62. Available from: https://sid.ir/paper/695927/en
IEEE:
CopyH. PAN, and Y. LI, “MODEL CHECKING COMPUTATION TREE LOGIC OVER FINITE LATTICES,” THEORETICAL COMPUTER SCIENCE, vol. 612, no. -, pp. 45–62, 2016, [Online]. Available: https://sid.ir/paper/695927/en