%0 Conference Paper %1 conf/mascots/SharmaWD20 %A Sharma, Harsha %A Wu, Wenfei %A Deng, Bangwen %B MASCOTS %D 2020 %I IEEE %K dblp %P 1-8 %T Symbolic Execution for Network Functions with Time-Driven Logic. %U http://dblp.uni-trier.de/db/conf/mascots/mascots2020.html#SharmaWD20 %@ 978-1-7281-9238-3

@inproceedings{conf/mascots/SharmaWD20, added-at = {2021-01-12T00:00:00.000+0100}, author = {Sharma, Harsha and Wu, Wenfei and Deng, Bangwen}, biburl = {https://www.bibsonomy.org/bibtex/260c5166b6c8c56029e44bfef40fc40cf/dblp}, booktitle = {MASCOTS}, crossref = {conf/mascots/2020}, ee = {https://doi.org/10.1109/MASCOTS50786.2020.9285941}, interhash = {db39fbe8a5f47343a41e45d4c3fe5cfe}, intrahash = {60c5166b6c8c56029e44bfef40fc40cf}, isbn = {978-1-7281-9238-3}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-09T11:18:37.000+0200}, title = {Symbolic Execution for Network Functions with Time-Driven Logic.}, url = {http://dblp.uni-trier.de/db/conf/mascots/mascots2020.html#SharmaWD20}, year = 2020 }