%0 Journal Article %1 journals/corr/MirzaeiBSKB16 %A Mirzaei, Saber %A Bahargam, Sanaz %A Skowyra, Richard %A Kfoury, Assaf J. %A Bestavros, Azer %D 2016 %J CoRR %K dblp %T Using Alloy to Formally Model and Reason About an OpenFlow Network Switch. %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#MirzaeiBSKB16 %V abs/1604.00060

@article{journals/corr/MirzaeiBSKB16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Mirzaei, Saber and Bahargam, Sanaz and Skowyra, Richard and Kfoury, Assaf J. and Bestavros, Azer}, biburl = {https://www.bibsonomy.org/bibtex/262a59762d4f625ceb072894e75ef4126/dblp}, ee = {http://arxiv.org/abs/1604.00060}, interhash = {2a9f0bf26b2a595c4973b1e2daaaf5bb}, intrahash = {62a59762d4f625ceb072894e75ef4126}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:32:26.000+0200}, title = {Using Alloy to Formally Model and Reason About an OpenFlow Network Switch.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#MirzaeiBSKB16}, volume = {abs/1604.00060}, year = 2016 }