%0 Conference Paper %1 conf/dms/ManaP10 %A Maña, Antonio %A Pujol, Gimena %B DMS %D 2010 %I Knowledge Systems Institute %K dblp %P 120-125 %T Verification of Security Policy of Service Oriented Systems. %U http://dblp.uni-trier.de/db/conf/dms/dms2010.html#ManaP10 %@ 1-891706-28-4

@inproceedings{conf/dms/ManaP10, added-at = {2010-11-26T00:00:00.000+0100}, author = {Maña, Antonio and Pujol, Gimena}, biburl = {https://www.bibsonomy.org/bibtex/2d8af3f6e43e8bfaf4a86cdd452d90812/dblp}, booktitle = {DMS}, crossref = {conf/dms/2010}, interhash = {74fa80354c400f3f25d9b76c7738d427}, intrahash = {d8af3f6e43e8bfaf4a86cdd452d90812}, isbn = {1-891706-28-4}, keywords = {dblp}, pages = {120-125}, publisher = {Knowledge Systems Institute}, timestamp = {2010-11-27T11:32:51.000+0100}, title = {Verification of Security Policy of Service Oriented Systems.}, url = {http://dblp.uni-trier.de/db/conf/dms/dms2010.html#ManaP10}, year = 2010 }