PrakashTC12'

@article{DBLP:journals/tcos/PrakashTC12,
  author    = {Arun Prakash and
               Zoltan Theisz and
               Ranganai Chaparadza},
  title     = {Formal Methods for Modeling, Refining and Verifying Autonomic
               Components of Computer Networks},
  journal   = {Transactions on Computational Science},
  volume    = {15},
  year      = {2012},
  pages     = {1-48},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28525-7_1},
  crossref  = {DBLP:journals/tcos/2012-15},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/tcos/2012-15,
  editor    = {Marina L. Gavrilova and
               Chih Jeng Kenneth Tan and
               Cong-Vinh Phan},
  title     = {Transactions on Computational Science XV - Special Issue
               on Advances in Autonomic Computing: Formal Engineering Methods
               for Nature-Inspired Computing Systems},
  booktitle = {Transactions on Computational Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7050},
  year      = {2012},
  isbn      = {978-3-642-28524-0},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28525-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}