MardareP08'

BibTeX

@inproceedings{DBLP:conf/mfcs/MardareP08,
  author    = {Radu Mardare and
               Alberto Policriti},
  title     = {A Complete Axiomatic System for a Process-Based Spatial
               Logic},
  booktitle = {MFCS},
  year      = {2008},
  pages     = {491-502},
  ee        = {http://dx.doi.org/10.1007/978-3-540-85238-4_40},
  crossref  = {DBLP:conf/mfcs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mfcs/2008,
  editor    = {Edward Ochmanski and
               Jerzy Tyszkiewicz},
  title     = {Mathematical Foundations of Computer Science 2008, 33rd
               International Symposium, MFCS 2008, Torun, Poland, August
               25-29, 2008, Proceedings},
  booktitle = {MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5162},
  year      = {2008},
  isbn      = {978-3-540-85237-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}