%0 Conference Paper %1 conf/fmcad/FosterGRS13 %A Foster, Nate %A Guha, Arjun %A Reitblatt, Mark %A Schlesinger, Cole %B FMCAD %D 2013 %I IEEE %K dblp %P 9-10 %T Tutorial: Practical verification of network programs. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#FosterGRS13

@inproceedings{conf/fmcad/FosterGRS13, added-at = {2015-02-25T00:00:00.000+0100}, author = {Foster, Nate and Guha, Arjun and Reitblatt, Mark and Schlesinger, Cole}, biburl = {https://www.bibsonomy.org/bibtex/2374717b513759be962b4a78f8bb48446/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2013}, ee = {http://dx.doi.org/10.1109/FMCAD.2013.7035518}, interhash = {ace366bbf4a834abeb401ada8ca9e873}, intrahash = {374717b513759be962b4a78f8bb48446}, keywords = {dblp}, pages = {9-10}, publisher = {IEEE}, timestamp = {2015-06-20T09:34:58.000+0200}, title = {Tutorial: Practical verification of network programs.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#FosterGRS13}, year = 2013 }