%0 Conference Paper %1 conf/case/LorenzS18 %A Lorenz, Felix %A Schlingloff, Holger %B CASE %D 2018 %I IEEE %K dblp %P 1093-1098 %T Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic. %U http://dblp.uni-trier.de/db/conf/case/case2018.html#LorenzS18 %@ 978-1-5386-3593-3

@inproceedings{conf/case/LorenzS18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Lorenz, Felix and Schlingloff, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2e2ddc2e07c051db515aa2c211855eca6/dblp}, booktitle = {CASE}, crossref = {conf/case/2018}, ee = {https://doi.org/10.1109/COASE.2018.8560421}, interhash = {17eb758686ddd98e2c0b8e394ea60273}, intrahash = {e2ddc2e07c051db515aa2c211855eca6}, isbn = {978-1-5386-3593-3}, keywords = {dblp}, pages = {1093-1098}, publisher = {IEEE}, timestamp = {2024-04-10T22:40:29.000+0200}, title = {Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/case/case2018.html#LorenzS18}, year = 2018 }