BibTeX record conf/policy/Rubio-LoyolaSCFPL05

• > Home > conf/policy/Rubio-LoyolaSCFPL05

@inproceedings{DBLP:conf/policy/Rubio-LoyolaSCFPL05,
  author       = {Javier Rubio{-}Loyola and
                  Joan Serrat and
                  Marinos Charalambides and
                  Paris Flegkas and
                  George Pavlou and
                  Alberto Lluch{-}Lafuente},
  title        = {Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement
                  Frameworks},
  booktitle    = {6th {IEEE} International Workshop on Policies for Distributed Systems
                  and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/POLICY.2005.38},
  doi          = {10.1109/POLICY.2005.38},
  timestamp    = {Thu, 23 Mar 2023 23:58:42 +0100},
  biburl       = {https://dblp.org/rec/conf/policy/Rubio-LoyolaSCFPL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}