%0 Conference Paper %1 conf/fmcad/SethiNM13 %A Sethi, Divjyot %A Narayana, Srinivas %A Malik, Sharad %B FMCAD %D 2013 %I IEEE %K dblp %P 145-148 %T Abstractions for model checking SDN controllers. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#SethiNM13

@inproceedings{conf/fmcad/SethiNM13, added-at = {2023-09-30T00:00:00.000+0200}, author = {Sethi, Divjyot and Narayana, Srinivas and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/25c1e4c13a5592d958fd28b7ab7f45a00/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2013}, ee = {https://ieeexplore.ieee.org/document/6679403/}, interhash = {98dd2c313503ecac4dd11376f100db8f}, intrahash = {5c1e4c13a5592d958fd28b7ab7f45a00}, keywords = {dblp}, pages = {145-148}, publisher = {IEEE}, timestamp = {2024-04-10T16:53:46.000+0200}, title = {Abstractions for model checking SDN controllers.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#SethiNM13}, year = 2013 }