BibTeX record conf/icsoft/SantoneV12

download as .bib file

@inproceedings{DBLP:conf/icsoft/SantoneV12,
  author       = {Antonella Santone and
                  Gigliola Vaglini},
  editor       = {Slimane Hammoudi and
                  Marten van Sinderen and
                  Jos{\'{e}} Cordeiro},
  title        = {Modelling and Analysing Social Networks through Formal Methods and
                  Heuristic Searches},
  booktitle    = {{ICSOFT} 2012 - Proceedings of the 7th International Conference on
                  Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012},
  pages        = {336--339},
  publisher    = {SciTePress},
  year         = {2012},
  url          = {https://doi.org/10.5220/0004068903360339},
  doi          = {10.5220/0004068903360339},
  timestamp    = {Thu, 14 Dec 2017 12:26:02 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/SantoneV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics