DBLP Record 'conf/autonomics/DechevRPS08'

BibTeX

@inproceedings{DBLP:conf/autonomics/DechevRPS08,
  author    = {Damian Dechev and
               Nicolas Rouquette and
               Peter Pirkelbauer and
               Bjarne Stroustrup},
  title     = {Verification and semantic parallelization of goal-driven
               autonomous software},
  booktitle = {Autonomics},
  year      = {2008},
  pages     = {33},
  ee        = {http://doi.acm.org/10.1145/1487652.1487685},
  crossref  = {DBLP:conf/autonomics/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/autonomics/2008,
  editor    = {Antonio Manzalini},
  title     = {Proceedings of the 2nd International Conference on Autonomic
               Computing and Communication Systems, Autonomics 2008, September
               23-25, 2008, Turin, Italy},
  booktitle = {Autonomics},
  year      = {2008},
  isbn      = {978-963-9799-34-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}