DBLP Record 'conf/tgc/BartolettiDFZ08'

BibTeX

@inproceedings{DBLP:conf/tgc/BartolettiDFZ08,
  author    = {Massimo Bartoletti and
               Pierpaolo Degano and
               Gian Luigi Ferrari and
               Roberto Zunino},
  title     = {Model Checking Usage Policies},
  booktitle = {TGC},
  year      = {2008},
  pages     = {19-35},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00945-7_2},
  crossref  = {DBLP:conf/tgc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tgc/2008,
  editor    = {Christos Kaklamanis and
               Flemming Nielson},
  title     = {Trustworthy Global Computing, 4th International Symposium,
               TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised
               Selected Papers},
  booktitle = {TGC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5474},
  year      = {2009},
  isbn      = {978-3-642-00944-0},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00945-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}