框架投影时序逻辑程序设计语言中的指针 <BR>

框架投影时序逻辑程序设计语言中的指针

王小兵;段振华

Pointers in framing projection temporal logic programming languages

WANG Xiao-bing;DUAN Zhen-hua

J4 . 2008, (6): 1069 -1074 .