BibTeX record conf/modelsward/SatpathySARB13

download as .bib file

@inproceedings{DBLP:conf/modelsward/SatpathySARB13,
  author       = {Manoranjan Satpathy and
                  Colin F. Snook and
                  Silky Arora and
                  S. Ramesh and
                  Michael J. Butler},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Joaquim Filipe and
                  Rui C{\'{e}}sar das Neves},
  title        = {Systematic Development of Control Designs via Formal Refinement},
  booktitle    = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
                  on Model-Driven Engineering and Software Development, Barcelona, Spain,
                  19 - 21 February, 2013},
  pages        = {143--148},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004321001430148},
  doi          = {10.5220/0004321001430148},
  timestamp    = {Mon, 03 May 2021 16:42:27 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/SatpathySARB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics