Lacramioara Astefanoaei. An executable theory of multi-agent systems refinement. PhD thesis, Leiden University, 2011. [doi]
@phdthesis{nl-0, title = {An executable theory of multi-agent systems refinement}, author = {Lacramioara Astefanoaei}, year = {2011}, url = {https://openaccess.leidenuniv.nl/handle/1887/16343}, researchr = {https://researchr.org/publication/nl-0}, cites = {0}, citedby = {0}, school = {Leiden University}, }