%0 Conference Paper %1 conf/asm/Maldonado-LopezCD14 %A Maldonado-Lopez, Ferney A. %A Chavarriaga, Jaime %A Donoso, Yezid %B ABZ %D 2014 %E Ameur, Yamine Aït %E Schewe, Klaus-Dieter %I Springer %K dblp %P 314-317 %T Detecting Network Policy Conflicts Using Alloy. %U http://dblp.uni-trier.de/db/conf/asm/abz2014.html#Maldonado-LopezCD14 %V 8477 %@ 978-3-662-43651-6

@inproceedings{conf/asm/Maldonado-LopezCD14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Maldonado-Lopez, Ferney A. and Chavarriaga, Jaime and Donoso, Yezid}, biburl = {https://www.bibsonomy.org/bibtex/25a95a7dd6f971a1b71fb41fedf8ead50/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2014}, editor = {Ameur, Yamine Aït and Schewe, Klaus-Dieter}, ee = {https://doi.org/10.1007/978-3-662-43652-3_31}, interhash = {a169dc0e2ea4ce561fc75b3ac2befe93}, intrahash = {5a95a7dd6f971a1b71fb41fedf8ead50}, isbn = {978-3-662-43651-6}, keywords = {dblp}, pages = {314-317}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:15.000+0200}, title = {Detecting Network Policy Conflicts Using Alloy.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2014.html#Maldonado-LopezCD14}, volume = 8477, year = 2014 }