%0 Conference Paper %1 conf/tacas/VelnerAPRSSS16 %A Velner, Yaron %A Alpernas, Kalev %A Panda, Aurojit %A Rabinovich, Alexander %A Sagiv, Mooly %A Shenker, Scott %A Shoham, Sharon %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K dblp %P 811-830 %T Some Complexity Results for Stateful Network Verification. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#VelnerAPRSSS16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/VelnerAPRSSS16, added-at = {2022-06-23T00:00:00.000+0200}, author = {Velner, Yaron and Alpernas, Kalev and Panda, Aurojit and Rabinovich, Alexander and Sagiv, Mooly and Shenker, Scott and Shoham, Sharon}, biburl = {https://www.bibsonomy.org/bibtex/29ea5ceacb5796bec1d4f8ca503771765/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_51}, interhash = {2a79ab0686770df48280fe97e29a9723}, intrahash = {9ea5ceacb5796bec1d4f8ca503771765}, isbn = {978-3-662-49673-2}, keywords = {dblp}, pages = {811-830}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:29:49.000+0200}, title = {Some Complexity Results for Stateful Network Verification.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#VelnerAPRSSS16}, volume = 9636, year = 2016 }