%0 Conference Paper %1 conf/icete/SvedaRMRC10 %A Svéda, Miroslav %A Rysavy, Ondrej %A Matousek, Petr %A Ráb, Jaroslav %A Cejka, Rudolf %B DCNET/OPTICS %D 2010 %E Sevillano, José Luis %E Obaidat, Mohammad S. %E Nicopolitidis, Petros %I SciTePress %K dblp %P 5-11 %T Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. %U http://dblp.uni-trier.de/db/conf/icete/dcnet2010.html#SvedaRMRC10 %@ 978-989-8425-25-6

@inproceedings{conf/icete/SvedaRMRC10, added-at = {2011-01-07T00:00:00.000+0100}, author = {Svéda, Miroslav and Rysavy, Ondrej and Matousek, Petr and Ráb, Jaroslav and Cejka, Rudolf}, biburl = {https://www.bibsonomy.org/bibtex/263f8a073073fd2a3162c9b2a61944c4f/dblp}, booktitle = {DCNET/OPTICS}, crossref = {conf/icete/2010d}, editor = {Sevillano, José Luis and Obaidat, Mohammad S. and Nicopolitidis, Petros}, interhash = {79f7a6ee45e27e8df58b7a7d9dcf95b6}, intrahash = {63f8a073073fd2a3162c9b2a61944c4f}, isbn = {978-989-8425-25-6}, keywords = {dblp}, pages = {5-11}, publisher = {SciTePress}, timestamp = {2011-01-08T11:33:06.000+0100}, title = {Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties.}, url = {http://dblp.uni-trier.de/db/conf/icete/dcnet2010.html#SvedaRMRC10}, year = 2010 }