Model checking for a general linear mode
β
Zhi-hua Sun; Wai-Cheung Ip; Heung Wong
π
Article
π
2011
π
Institute of Applied Mathematics, Chinese Academy
π
English
β 275 KB