BibTeX record conf/models/SongLASDC15

• > Home > conf/models/SongLASDC15

@inproceedings{DBLP:conf/models/SongLASDC15,
  author       = {Songzheng Song and
                  Yang Liu and
                  Mikhail Auguston and
                  Jun Sun and
                  Jin Song Dong and
                  Tieming Chen},
  editor       = {Timothy Lethbridge and
                  Jordi Cabot and
                  Alexander Egyed},
  title        = {Formalizing and verifying stochastic system architectures using Monterey
                  Phoenix (SoSyM abstract)},
  booktitle    = {18th {ACM/IEEE} International Conference on Model Driven Engineering
                  Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September
                  30 - October 2, 2015},
  pages        = {449},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/MODELS.2015.7338279},
  doi          = {10.1109/MODELS.2015.7338279},
  timestamp    = {Mon, 26 Jun 2023 20:42:07 +0200},
  biburl       = {https://dblp.org/rec/conf/models/SongLASDC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}