Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/IEEEcit/TianZZZ16
@inproceedings{DBLP:conf/IEEEcit/TianZZZ16, author = {Tian Tian and Yiming Zhang and Qiao Zhou and Ping Zhong}, title = {ModelX: Using Model Checking to Find Design Errors of Cloud Applications}, booktitle = {2016 {IEEE} International Conference on Computer and Information Technology, {CIT} 2016, Nadi, Fiji, December 8-10, 2016}, pages = {607--610}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/CIT.2016.66}, doi = {10.1109/CIT.2016.66}, timestamp = {Tue, 07 May 2024 20:07:46 +0200}, biburl = {https://dblp.org/rec/conf/IEEEcit/TianZZZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.