Implementation of objected-oriented mechanism in framed temporal logic language MSVL
WANG Xiao-bing;DUAN Zhen-hua
J4 . 2010, (3): 559 -564+575 .  DOI: 10.3969/j.issn.1001-2400.2010.03.031

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