BibTeX record conf/iccps/BanusicMPSZ19

• > Home > conf/iccps/BanusicMPSZ19

@inproceedings{DBLP:conf/iccps/BanusicMPSZ19,
  author       = {Gregor B. Banusic and
                  Rupak Majumdar and
                  Marcus Pirron and
                  Anne{-}Kathrin Schmuck and
                  Damien Zufferey},
  editor       = {Xue Liu and
                  Paulo Tabuada and
                  Miroslav Pajic and
                  Linda Bushnell},
  title        = {{PGCD:} robot programming and verification with geometry, concurrency,
                  and dynamics},
  booktitle    = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
                  Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages        = {57--66},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302509.3311052},
  doi          = {10.1145/3302509.3311052},
  timestamp    = {Fri, 09 Apr 2021 18:50:41 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/BanusicMPSZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}