BibTeX record journals/corr/abs-2004-13292

• > Home > journals/corr/abs-2004-13292

@inproceedings{DBLP:journals/corr/abs-2004-13292,
  author       = {Antje Rogalla and
                  Sascha Lehmann and
                  Maximilian Neidhardt and
                  Johanna Sprenger and
                  Marcel Bengs and
                  Alexander Schlaefer and
                  Sibylle Schupp},
  editor       = {Ansgar Fehnker and
                  Hubert Garavel},
  title        = {Synthesizing Strategies for Needle Steering in Gelatin Phantoms},
  booktitle    = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
                  Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
  series       = {{EPTCS}},
  volume       = {316},
  pages        = {261--274},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.316.10},
  doi          = {10.4204/EPTCS.316.10},
  timestamp    = {Sat, 30 Sep 2023 10:08:24 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-13292.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}