%0 Journal Article %1 journals/jcp/ShiMYZ12 %A Shi, Huiling %A Ma, Wenke %A Yang, Meihong %A Zhang, Xinchang %D 2012 %J J. Comput. %K dblp %N 10 %P 2503-2510 %T A Case Study of Model Checking Retail Banking System with SPIN. %U http://dblp.uni-trier.de/db/journals/jcp/jcp7.html#ShiMYZ12 %V 7

@article{journals/jcp/ShiMYZ12, added-at = {2022-03-08T00:00:00.000+0100}, author = {Shi, Huiling and Ma, Wenke and Yang, Meihong and Zhang, Xinchang}, biburl = {https://www.bibsonomy.org/bibtex/2430cb5cf317515c03668ac779f5b5d70/dblp}, ee = {https://doi.org/10.4304/jcp.7.10.2503-2510}, interhash = {dbbfd789c732829eb5e1834d84a154f7}, intrahash = {430cb5cf317515c03668ac779f5b5d70}, journal = {J. Comput.}, keywords = {dblp}, number = 10, pages = {2503-2510}, timestamp = {2024-04-09T06:17:12.000+0200}, title = {A Case Study of Model Checking Retail Banking System with SPIN.}, url = {http://dblp.uni-trier.de/db/journals/jcp/jcp7.html#ShiMYZ12}, volume = 7, year = 2012 }