BibTeX record conf/dars/LiM0CWT16

• > Home > conf/dars/LiM0CWT16

@inproceedings{DBLP:conf/dars/LiM0CWT16,
  author       = {Wei Li and
                  Alvaro Miyazawa and
                  Pedro Ribeiro and
                  Ana Cavalcanti and
                  Jim Woodcock and
                  Jon Timmis},
  editor       = {Roderich Gro{\ss} and
                  Andreas Kolling and
                  Spring Berman and
                  Emilio Frazzoli and
                  Alcherio Martinoli and
                  Fumitoshi Matsuno and
                  Melvin Gauci},
  title        = {From Formalised State Machines to Implementations of Robotic Controllers},
  booktitle    = {Distributed Autonomous Robotic Systems, The 13th International Symposium,
                  {DARS} 2016, Natural History Museum, London, UK, November 7-9, 2016},
  series       = {Springer Proceedings in Advanced Robotics},
  volume       = {6},
  pages        = {517--529},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-73008-0\_36},
  doi          = {10.1007/978-3-319-73008-0\_36},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dars/LiM0CWT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}