BibTeX record conf/models/ZhangBBEHKW14

• > Home > conf/models/ZhangBBEHKW14

@inproceedings{DBLP:conf/models/ZhangBBEHKW14,
  author       = {Dan Zhang and
                  Dragan Bosnacki and
                  Mark van den Brand and
                  Luc Engelen and
                  Cornelis Huizing and
                  Ruurd Kuiper and
                  Anton Wijs},
  editor       = {J{\"{u}}rgen Dingel and
                  Juan de Lara and
                  Levi Lucio and
                  Hans Vangheluwe},
  title        = {Towards Verified Java Code Generation from Concurrent State Machines},
  booktitle    = {Proceedings of the Workshop on Analysis of Model Transformations co-located
                  with {ACM/IEEE} 17th International Conference on Model Driven Engineering
                  Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
                  29, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1277},
  pages        = {64--69},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1277/7.pdf},
  timestamp    = {Tue, 21 Nov 2023 22:37:01 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ZhangBBEHKW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}