DBLP BibTeX Record 'conf/sac/NicolaLM05'

@inproceedings{DBLP:conf/sac/NicolaLM05,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Mieke Massink},
  title     = {Formal modeling and quantitative analysis of KLAIM-based
               mobile systems},
  booktitle = {SAC},
  year      = {2005},
  pages     = {428-435},
  ee        = {http://doi.acm.org/10.1145/1066677.1066777},
  crossref  = {DBLP:conf/sac/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sac/2005,
  editor    = {Hisham Haddad and
               Lorie M. Liebrock and
               Andrea Omicini and
               Roger L. Wainwright},
  title     = {Proceedings of the 2005 ACM Symposium on Applied Computing
               (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005},
  booktitle = {SAC},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-58113-964-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}