%0 Conference Paper %1 conf/crisis/KordyKB16 %A Kordy, Barbara %A Kordy, Piotr %A van den Boom, Yoann %B CRiSIS %D 2016 %E Cuppens, Frédéric %E Cuppens, Nora %E Lanet, Jean-Louis %E Legay, Axel %I Springer %K dblp %P 105-113 %T SPTool - Equivalence Checker for SAND Attack Trees. %U http://dblp.uni-trier.de/db/conf/crisis/crisis2016.html#KordyKB16 %V 10158 %@ 978-3-319-54875-3

@inproceedings{conf/crisis/KordyKB16, added-at = {2017-03-14T00:00:00.000+0100}, author = {Kordy, Barbara and Kordy, Piotr and van den Boom, Yoann}, biburl = {https://www.bibsonomy.org/bibtex/28ebb4b1f9785f924bf9a34558b1fc4de/dblp}, booktitle = {CRiSIS}, crossref = {conf/crisis/2016}, editor = {Cuppens, Frédéric and Cuppens, Nora and Lanet, Jean-Louis and Legay, Axel}, ee = {http://dx.doi.org/10.1007/978-3-319-54876-0_8}, interhash = {476094348564da008ba3b169f79cda0b}, intrahash = {8ebb4b1f9785f924bf9a34558b1fc4de}, isbn = {978-3-319-54875-3}, keywords = {dblp}, pages = {105-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-15T11:36:15.000+0100}, title = {SPTool - Equivalence Checker for SAND Attack Trees.}, url = {http://dblp.uni-trier.de/db/conf/crisis/crisis2016.html#KordyKB16}, volume = 10158, year = 2016 }