%0 Conference Paper %1 conf/kbse/ZhongWK23 %A Zhong, Yuyi %A Wang, Ruiwei %A Khoo, Siau-Cheng %B ASE %D 2023 %I IEEE %K dblp %P 1263-1275 %T Expediting Neural Network Verification via Network Reduction. %U http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#ZhongWK23 %@ 979-8-3503-2996-4

@inproceedings{conf/kbse/ZhongWK23, added-at = {2023-11-16T00:00:00.000+0100}, author = {Zhong, Yuyi and Wang, Ruiwei and Khoo, Siau-Cheng}, biburl = {https://www.bibsonomy.org/bibtex/2852ef473fad110c02b8817cf3ffe6a57/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2023}, ee = {https://doi.org/10.1109/ASE56229.2023.00081}, interhash = {24e286f049399f5e1e0a3e5dac0bb6d9}, intrahash = {852ef473fad110c02b8817cf3ffe6a57}, isbn = {979-8-3503-2996-4}, keywords = {dblp}, pages = {1263-1275}, publisher = {IEEE}, timestamp = {2024-04-09T23:52:01.000+0200}, title = {Expediting Neural Network Verification via Network Reduction.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#ZhongWK23}, year = 2023 }