%0 Conference Paper %1 conf/sam/CremersM04 %A Cremers, Cas J. F. %A Mauw, Sjouke %B SAM %D 2004 %E Amyot, Daniel %E Williams, Alan W. %I Springer %K dblp %P 171-188 %T Checking Secrecy by Means of Partial Order Reduction. %U http://dblp.uni-trier.de/db/conf/sam/sam2004.html#CremersM04 %V 3319 %@ 3-540-24561-8

@inproceedings{conf/sam/CremersM04, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cremers, Cas J. F. and Mauw, Sjouke}, biburl = {https://www.bibsonomy.org/bibtex/21e27b71f2445950c31dd3feef4863f2b/dblp}, booktitle = {SAM}, crossref = {conf/sam/2004}, editor = {Amyot, Daniel and Williams, Alan W.}, ee = {https://doi.org/10.1007/978-3-540-31810-1_12}, interhash = {e6a09ae0420576ce7f9e90417322612d}, intrahash = {1e27b71f2445950c31dd3feef4863f2b}, isbn = {3-540-24561-8}, keywords = {dblp}, pages = {171-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:45:16.000+0200}, title = {Checking Secrecy by Means of Partial Order Reduction.}, url = {http://dblp.uni-trier.de/db/conf/sam/sam2004.html#CremersM04}, volume = 3319, year = 2004 }