登录
Xidian University
中文
ty9
oky
a0n
F0q
ji6
hUe
LpK
Sp9
0HQ
Etb
OEm
Ne7
cyG
GIt
8zH
d6h
TAr
fzn
Rv7
sDa
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Research Team
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
Current position:
Home
>>
Scientific Research
>>
Paper Publications
张南
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
FIRST
PREVIOUS
NEXT
LAST