Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah. The Implication Problem of Computing Policies. In Andrzej Pelc, Alexander A. Schwarzmann, editors, Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Volume 9212 of Lecture Notes in Computer Science, pages 109-123, Springer, 2015. [doi]
@inproceedings{ReazAGHE15,
title = {The Implication Problem of Computing Policies},
author = {Rezwana Reaz and Muqeet Ali and Mohamed G. Gouda and Marijn Heule and Ehab S. Elmallah},
year = {2015},
doi = {10.1007/978-3-319-21741-3_8},
url = {http://dx.doi.org/10.1007/978-3-319-21741-3_8},
researchr = {https://researchr.org/publication/ReazAGHE15},
cites = {0},
citedby = {0},
pages = {109-123},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings},
editor = {Andrzej Pelc and Alexander A. Schwarzmann},
volume = {9212},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-21740-6},
}