BibTeX record phd/nl/Astefanoaei2011

download as .bib file

@phdthesis{DBLP:phd/nl/Astefanoaei2011,
  author       = {Lacramioara Astefanoaei},
  title        = {An executable theory of multi-agent systems refinement},
  school       = {Leiden University},
  year         = {2011},
  url          = {https://openaccess.leidenuniv.nl/handle/1887/16343},
  timestamp    = {Wed, 04 May 2016 16:03:51 +0200},
  biburl       = {https://dblp.org/rec/phd/nl/Astefanoaei2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics