Personal Information
Professor Supervisor of Doctorate Candidates Supervisor of Master's Candidates
Paper Publications
- Zhang, Nan^Duan, Zhenhua^Tian, Cong,A complete axiom system for propositional projection temporal logic with cylinder computation model:THEORETICAL COMPUTER SCIENCE,2016,609:639-657
- Zhang, Nan ; Duan, Zhenhua ; Tian, Cong ,A complete axiom system for propositional projection temporal logic with cylinder computation model:Theoretical Computer Science,2016,609:639-657
- Zhang, Nan^Yang, Mengfei^Gu, Bin^Duan, Zhenhua^Tian, Cong,Verifying safety critical task scheduling systems in PPTL axiom system:JOURNAL OF COMBINATORIAL OPTIMIZATION,2016,31(2):577-603
- Zhang, Nan^Duan, Zhenhua^Tian, Cong,A mechanism of function calls in MSVL:THEORETICAL COMPUTER SCIENCE,2016,654:11-25
| TOTAL 4 PIECE 1/1 | FIRSTPREVIOUSNEXTLAST |