BibTeX record conf/fedcsis/LiBS13

download as .bib file

@inproceedings{DBLP:conf/fedcsis/LiBS13,
  author       = {Xian Li and
                  Kerstin Bauer and
                  Klaus Schneider},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {Interactive Verification of Cyber-physical Systems: Interfacing Averest
                  and KeYmaera},
  booktitle    = {Proceedings of the 2013 Federated Conference on Computer Science and
                  Information Systems, Krak{\'{o}}w, Poland, September 8-11, 2013},
  pages        = {1393--1400},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/document/6644201/},
  timestamp    = {Thu, 04 Apr 2024 21:54:28 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/LiBS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}