BibTeX record conf/models/PosseD14

download as .bib file

@inproceedings{DBLP:conf/models/PosseD14,
  author    = {Ernesto Posse and
               J{\"{u}}rgen Dingel},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Contract-Based Specification and Analysis of {AADL} Models},
  booktitle = {Proceedings of the First International Workshop on Architecture Centric
               Virtual Integration co-located with the 17th International Conference
               on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014,
               Valencia, Spain, September 29, 2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1233},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_1.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/PosseD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics