%0 Conference Paper %1 conf/IEEEscc/CholletL08 %A Chollet, Stéphanie %A Lalanda, Philippe %B IEEE SCC (1) %D 2008 %I IEEE Computer Society %K dblp %P 165-172 %T Security Specification at Process Level. %U http://dblp.uni-trier.de/db/conf/IEEEscc/scc2008.html#CholletL08 %@ 978-0-7695-3283-7

@inproceedings{conf/IEEEscc/CholletL08, added-at = {2015-12-02T00:00:00.000+0100}, author = {Chollet, Stéphanie and Lalanda, Philippe}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26c3ede94c327032ef3f8935eaffe73ca/dblp}, booktitle = {IEEE SCC (1)}, crossref = {conf/IEEEscc/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/SCC.2008.51}, interhash = {70ac3ca6d310303cf9179430ca13e47d}, intrahash = {6c3ede94c327032ef3f8935eaffe73ca}, isbn = {978-0-7695-3283-7}, keywords = {dblp}, pages = {165-172}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:24:59.000+0100}, title = {Security Specification at Process Level.}, url = {http://dblp.uni-trier.de/db/conf/IEEEscc/scc2008.html#CholletL08}, year = 2008 }