%0 Conference Paper %1 conf/dsn/TaylorCQS21 %A Taylor, Max %A Chen, Haicheng %A Qin, Feng %A Stewart, Christopher %B DSN %D 2021 %I IEEE %K dblp %P 471-483 %T Avis: In-Situ Model Checking for Unmanned Aerial Vehicles. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2021.html#TaylorCQS21 %@ 978-1-6654-3572-7

@inproceedings{conf/dsn/TaylorCQS21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Taylor, Max and Chen, Haicheng and Qin, Feng and Stewart, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/284919f342f3bb4c4c947402661534e6f/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2021}, ee = {https://doi.org/10.1109/DSN48987.2021.00057}, interhash = {f180179d257df089fb53d77187e00fce}, intrahash = {84919f342f3bb4c4c947402661534e6f}, isbn = {978-1-6654-3572-7}, keywords = {dblp}, pages = {471-483}, publisher = {IEEE}, timestamp = {2024-04-09T10:03:27.000+0200}, title = {Avis: In-Situ Model Checking for Unmanned Aerial Vehicles.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2021.html#TaylorCQS21}, year = 2021 }