Decidability of the dense timed interval temporal logic
ZHANG Hai-bin;DUAN Zhen-hua
J4 . 2007, (3): 463 -467 . 

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