%0 Conference Paper %1 conf/iske/ChengW21 %A Cheng, Peng %A Wang, Keming %B ISKE %D 2021 %E Chen, Shuwei %E Hu, Jie %E Li, Tianrui %E Martínez, Luis %E Liu, Jun %I IEEE %K dblp %P 521-524 %T Applying B and ProB to a Real-world Data Validation Project. %U http://dblp.uni-trier.de/db/conf/iske/iske2021.html#ChengW21 %@ 978-1-6654-0553-9

@inproceedings{conf/iske/ChengW21, added-at = {2022-06-23T00:00:00.000+0200}, author = {Cheng, Peng and Wang, Keming}, biburl = {https://www.bibsonomy.org/bibtex/2ef0e976566e99fc664609d0936836f29/dblp}, booktitle = {ISKE}, crossref = {conf/iske/2021}, editor = {Chen, Shuwei and Hu, Jie and Li, Tianrui and Martínez, Luis and Liu, Jun}, ee = {https://doi.org/10.1109/ISKE54062.2021.9755408}, interhash = {b92eda3fc7e2341cb90d38decabcf079}, intrahash = {ef0e976566e99fc664609d0936836f29}, isbn = {978-1-6654-0553-9}, keywords = {dblp}, pages = {521-524}, publisher = {IEEE}, timestamp = {2024-04-09T19:10:54.000+0200}, title = {Applying B and ProB to a Real-world Data Validation Project.}, url = {http://dblp.uni-trier.de/db/conf/iske/iske2021.html#ChengW21}, year = 2021 }