%0 Journal Article %1 journals/fmsd/Ranise13 %A Ranise, Silvio %D 2013 %J Formal Methods Syst. Des. %K dblp %N 1 %P 24-45 %T Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd42.html#Ranise13 %V 42

@article{journals/fmsd/Ranise13, added-at = {2020-03-13T00:00:00.000+0100}, author = {Ranise, Silvio}, biburl = {https://www.bibsonomy.org/bibtex/286de1dd72f06f996312dc99012b83267/dblp}, ee = {https://doi.org/10.1007/s10703-012-0157-1}, interhash = {407c3b3ee1da8d8d61739c110d7de3ea}, intrahash = {86de1dd72f06f996312dc99012b83267}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {24-45}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd42.html#Ranise13}, volume = 42, year = 2013 }