%0 Conference Paper %1 conf/csfw/GenoveseGR12 %A Genovese, Valerio %A Garg, Deepak %A Rispoli, Daniele %B CSF %D 2012 %E Chong, Stephen %I IEEE Computer Society %K dblp %P 139-153 %T Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. %U http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#GenoveseGR12 %@ 978-1-4673-1918-8

@inproceedings{conf/csfw/GenoveseGR12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Genovese, Valerio and Garg, Deepak and Rispoli, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/2075180ba53da85ea9aa6caeb26366f10/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2012}, editor = {Chong, Stephen}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2012.11}, interhash = {4b52865bb2bab1cb9715762940e6ddbf}, intrahash = {075180ba53da85ea9aa6caeb26366f10}, isbn = {978-1-4673-1918-8}, keywords = {dblp}, pages = {139-153}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:31.000+0200}, title = {Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#GenoveseGR12}, year = 2012 }