%0 Conference Paper %1 conf/hipc/PalavalasaSSPC20 %A Palavalasa, Surya Teja %A Singh, Yuvraj %A Singla, Adhish %A Purini, Suresh %A Choppella, Venkatesh %B HiPC %D 2020 %I IEEE %K dblp %P 131-140 %T Model Checking as a Service using Dynamic Resource Scaling. %U http://dblp.uni-trier.de/db/conf/hipc/hipc2020.html#PalavalasaSSPC20 %@ 978-1-6654-2292-5

@inproceedings{conf/hipc/PalavalasaSSPC20, added-at = {2021-05-05T00:00:00.000+0200}, author = {Palavalasa, Surya Teja and Singh, Yuvraj and Singla, Adhish and Purini, Suresh and Choppella, Venkatesh}, biburl = {https://www.bibsonomy.org/bibtex/21c9b98d0f3c27da0454cd04a23d4e199/dblp}, booktitle = {HiPC}, crossref = {conf/hipc/2020}, ee = {https://doi.org/10.1109/HiPC50609.2020.00027}, interhash = {ccff959dbd9287da7d4555c6ba3d8128}, intrahash = {1c9b98d0f3c27da0454cd04a23d4e199}, isbn = {978-1-6654-2292-5}, keywords = {dblp}, pages = {131-140}, publisher = {IEEE}, timestamp = {2024-04-09T13:22:05.000+0200}, title = {Model Checking as a Service using Dynamic Resource Scaling.}, url = {http://dblp.uni-trier.de/db/conf/hipc/hipc2020.html#PalavalasaSSPC20}, year = 2020 }