@phdthesis{2018:AFD:PHD,
  tipoactividad = {Tesis doctorales le{\'{i}}das},
  internacional = {yes},
  calificacion = {Sobresaliente CUM LAUDE},
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az}},
  title = {eJason: a Framework for Distributed and Fault-tolerant Multi-agent Systems},
  school = {Escuela T{\'{e}}cnica Superior de Ingenieros Inform{\'{a}}ticos, Universidad
                  Polit{\'{e}}cnica de Madrid},
  year = {2018},
  url = {},
  pdf = {},
  note = {},
  abstract = {}
}
@inproceedings{BENFRED2018,
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az} and
                  Clara Benac Earle and Lars{-}{\AA}ke Fredlund},
  title = {Pitfalls of Jason Concurrency},
  booktitle = {6th International Workshop on Engineering Multi-Agent Systems EMAS 2018},
  editor = {},
  publisher = {Springer},
  volume = {},
  year = {2018},
  note = {To be published},
  pages = {}
}
@article{DBLP:journals/corr/abs-1808-07937,
  author = {Lars{-}{\AA}ke Fredlund and
               Julio Mari{\~{n}}o and
               Sergio P{\'{e}}rez and
               Salvador Tamarit},
  title = {Runtime verification in Erlang by using contracts},
  journal = {CoRR},
  volume = {abs/1808.07937},
  year = {2018},
  url = {http://arxiv.org/abs/1808.07937},
  archiveprefix = {arXiv},
  eprint = {1808.07937},
  timestamp = {Thu, 29 Nov 2018 11:17:10 +0100},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1808-07937},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Susana-2018-elearningAfrica,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  booktitle = {13th International Conference on ICT for Development, Education and Training. E-learning Africa},
  title = {Discussing current solutions for digital literacy at rural areas},
  address = {Kigali, Rwanda},
  year = {2018},
  month = {September}
}

This file was generated by bibtex2html 1.98.