Inproceedings,
Modeling R3 Needle Steering in Uppaal.
S. Lehmann, A. Rogalla, M. Neidhardt, A. Reinecke, A. Schlaefer, and S. Schupp.MARS@ETAPS, volume 355 of EPTCS, page 40-59. (2022)
Meta data
- BibTeX key
- journals/corr/abs-2203-09884
- entry type
- inproceedings
- booktitle
- MARS@ETAPS
- year
- 2022
- pages
- 40-59
- series
- EPTCS
- volume
- 355
- crossref
- journals/corr/abs-2203-09299
- ee
- https://doi.org/10.48550/arXiv.2203.09884
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs355.html#abs-2203-09884
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/abs-2203-09884
%A Lehmann, Sascha
%A Rogalla, Antje
%A Neidhardt, Maximilian
%A Reinecke, Anton
%A Schlaefer, Alexander
%A Schupp, Sibylle
%B MARS@ETAPS
%D 2022
%E Dubslaff, Clemens
%E Luttik, Bas
%K dblp
%P 40-59
%T Modeling R3 Needle Steering in Uppaal.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs355.html#abs-2203-09884
%V 355
@inproceedings{journals/corr/abs-2203-09884,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Lehmann, Sascha and Rogalla, Antje and Neidhardt, Maximilian and Reinecke, Anton and Schlaefer, Alexander and Schupp, Sibylle},
biburl = {https://www.bibsonomy.org/bibtex/278f1bfe420e0dadd9d5ce2e83346e9ce/dblp},
booktitle = {MARS@ETAPS},
crossref = {journals/corr/abs-2203-09299},
editor = {Dubslaff, Clemens and Luttik, Bas},
ee = {https://doi.org/10.48550/arXiv.2203.09884},
interhash = {928527a87aee8d61259162333bc8c62a},
intrahash = {78f1bfe420e0dadd9d5ce2e83346e9ce},
keywords = {dblp},
pages = {40-59},
series = {EPTCS},
timestamp = {2024-04-09T09:29:53.000+0200},
title = {Modeling R3 Needle Steering in Uppaal.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs355.html#abs-2203-09884},
volume = 355,
year = 2022
}