BibTeX record conf/bci/Dossis13

download as .bib file

@inproceedings{DBLP:conf/bci/Dossis13,
  author       = {Michael F. Dossis},
  editor       = {Kostas I. Diamantaras and
                  Georgios Evangelidis and
                  Yannis Manolopoulos and
                  Christos K. Georgiadis and
                  Petros Kefalas and
                  Demosthenes Stamatis},
  title        = {Modeling and simulation in a formal design framework},
  booktitle    = {Balkan Conference in Informatics, {BCI} '13, Thessaloniki, Greece,
                  September 19-21, 2013},
  pages        = {31--38},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2490257.2490274},
  doi          = {10.1145/2490257.2490274},
  timestamp    = {Tue, 02 Apr 2024 11:00:11 +0200},
  biburl       = {https://dblp.org/rec/conf/bci/Dossis13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics