@article{Wanwei LIU:130, author = {Wanwei LIU, Ji WANG, Huowang CHEN, Xiaodong MA, Zhaofei WANG}, title = {symbolic model checking APSL}, publisher = {Front. Comput. Sci.}, year = {0}, journal = {Frontiers of Computer Science}, volume = {}, number = {}, eid = {130}, numpages = {11}, pages = {130}, keywords = {property specification language;symbolic model checking;tableau approach;extended NuSMV}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_575.shtml}, doi = {10.1007/s11704-009-0003-9} }