%0 Conference Paper %1 conf/tacas/DarkeCAKVC23 %A Darke, Priyanka %A Chimdyalwar, Bharti %A Agrawal, Sakshi %A Kumar, Shrawan %A Venkatesh, R. %A Chakraborty, Supratik %B TACAS (2) %D 2023 %E Sankaranarayanan, Sriram %E Sharygina, Natasha %I Springer %K dblp %P 588-593 %T VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2023-2.html#DarkeCAKVC23 %V 13994 %@ 978-3-031-30820-8

@inproceedings{conf/tacas/DarkeCAKVC23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Darke, Priyanka and Chimdyalwar, Bharti and Agrawal, Sakshi and Kumar, Shrawan and Venkatesh, R. and Chakraborty, Supratik}, biburl = {https://www.bibsonomy.org/bibtex/2886724b27607040efdacfaefa8a8e9ab/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2023-2}, editor = {Sankaranarayanan, Sriram and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-031-30820-8_41}, interhash = {54c26870de71d23f303338adc9d8f595}, intrahash = {886724b27607040efdacfaefa8a8e9ab}, isbn = {978-3-031-30820-8}, keywords = {dblp}, pages = {588-593}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2023-2.html#DarkeCAKVC23}, volume = 13994, year = 2023 }