BibTeX record conf/csdm/BanachB13

• > Home > conf/csdm/BanachB13

@inproceedings{DBLP:conf/csdm/BanachB13,
  author       = {Richard Banach and
                  Michael J. Butler},
  editor       = {Marc Aiguier and
                  Fr{\'{e}}d{\'{e}}ric Boulanger and
                  Daniel Krob and
                  Clotilde Marchal},
  title        = {A Hybrid Event-B Study of Lane Centering},
  booktitle    = {Complex Systems Design {\&} Management, Proceedings of the Fourth
                  International Conference on Complex Systems Design {\&} Management
                  CSD{\&}M 2013, Paris, France, December 4-6, 2013},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02812-5\_8},
  doi          = {10.1007/978-3-319-02812-5\_8},
  timestamp    = {Wed, 24 May 2017 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/csdm/BanachB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}