CharatonikDGMT01'

@inproceedings{DBLP:conf/fossacs/CharatonikDGMT01,
  author    = {Witold Charatonik and
               Silvano Dal-Zilio and
               Andrew D. Gordon and
               Supratik Mukhopadhyay and
               Jean-Marc Talbot},
  title     = {The Complexity of Model Checking Mobile Ambients},
  booktitle = {FoSSaCS},
  year      = {2001},
  pages     = {152-167},
  ee        = {http://dx.doi.org/10.1007/3-540-45315-6_10},
  crossref  = {DBLP:conf/fossacs/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fossacs/2001,
  editor    = {Furio Honsell and
               Marino Miculan},
  title     = {Foundations of Software Science and Computation Structures,
               4th International Conference, FOSSACS 2001 Held as Part
               of the Joint European Conferences on Theory and Practice
               of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001,
               Proceedings},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2030},
  year      = {2001},
  isbn      = {3-540-41864-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}