Model checking multirate hybrid systems
ZHANG Hai-bin;DUANG Zhen-hua
J4 . 2008, (1): 60 -648 . 

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