Pointers in framing projection temporal logic programming languages
WANG Xiao-bing;DUAN Zhen-hua
J4 . 2008, (6): 1069 -1074 . 

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd