BibTeX record conf/bmfa/GreenyerF12

download as .bib file

@inproceedings{DBLP:conf/bmfa/GreenyerF12,
  author       = {Joel Greenyer and
                  Jens Frieben},
  editor       = {Ella E. Roubtsova and
                  Ekkart Kindler and
                  Ashley T. McNeile and
                  Mehmet Aksit},
  title        = {Consistency checking scenario-based specifications of dynamic systems
                  by combining simulation and synthesis},
  booktitle    = {Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations
                  and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2325276.2325278},
  doi          = {10.1145/2325276.2325278},
  timestamp    = {Wed, 14 Nov 2018 10:55:57 +0100},
  biburl       = {https://dblp.org/rec/conf/bmfa/GreenyerF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.