BibTeX record journals/acta/DamianiGGD08

download as .bib file

@article{DBLP:journals/acta/DamianiGGD08,
  author       = {Ferruccio Damiani and
                  Elena Giachino and
                  Paola Giannini and
                  Sophia Drossopoulou},
  title        = {A type safe state abstraction for coordination in Java -like languages},
  journal      = {Acta Informatica},
  volume       = {45},
  number       = {7-8},
  pages        = {479--536},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00236-008-0079-y},
  doi          = {10.1007/S00236-008-0079-Y},
  timestamp    = {Tue, 21 Mar 2023 21:10:58 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/DamianiGGD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics