%0 Conference Paper %1 conf/hase/LiWZPQG11 %A Li, Jianwen %A Wang, Zheng %A Zhao, Yongxin %A Pu, Geguang %A Qi, Yanxia %A Gu, Bin %B HASE %D 2011 %E Khoshgoftaar, Taghi M. %I IEEE Computer Society %K dblp %P 41-48 %T An Event-B Interpretation for SPARDL Model. %U http://dblp.uni-trier.de/db/conf/hase/hase2011.html#LiWZPQG11 %@ 978-1-4673-0107-7

@inproceedings{conf/hase/LiWZPQG11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Li, Jianwen and Wang, Zheng and Zhao, Yongxin and Pu, Geguang and Qi, Yanxia and Gu, Bin}, biburl = {https://www.bibsonomy.org/bibtex/230e57cdb93031dc5df6c61fff1809d56/dblp}, booktitle = {HASE}, crossref = {conf/hase/2011}, editor = {Khoshgoftaar, Taghi M.}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2011.27}, interhash = {dd85848ec1fc2c66f54e40e2a3c48705}, intrahash = {30e57cdb93031dc5df6c61fff1809d56}, isbn = {978-1-4673-0107-7}, keywords = {dblp}, pages = {41-48}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:46.000+0200}, title = {An Event-B Interpretation for SPARDL Model.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2011.html#LiWZPQG11}, year = 2011 }