BibTeX record conf/uic/KarafiliPL17

• > Home > conf/uic/KarafiliPL17

@inproceedings{DBLP:conf/uic/KarafiliPL17,
  author       = {Erisa Karafili and
                  Stephen Pipes and
                  Emil C. Lupu},
  title        = {Verification techniques for policy based systems},
  booktitle    = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
                  Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
                  Cloud {\&} Big Data Computing, Internet of People and Smart City
                  Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
                  CA, USA, August 4-8, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/UIC-ATC.2017.8397415},
  doi          = {10.1109/UIC-ATC.2017.8397415},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/uic/KarafiliPL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}