%0 Conference Paper %1 conf/eucc/VeresMA16 %A Veres, Sandor M. %A McAree, Owen %A Aitken, Jonathan M. %B ECC %D 2016 %I IEEE %K dblp %P 433-440 %T Towards formal verification of small and micro UAS. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2016.html#VeresMA16 %@ 978-1-5090-2591-6

@inproceedings{conf/eucc/VeresMA16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Veres, Sandor M. and McAree, Owen and Aitken, Jonathan M.}, biburl = {https://www.bibsonomy.org/bibtex/2e5abe30242ed2e784da1ccf6a4929b70/dblp}, booktitle = {ECC}, crossref = {conf/eucc/2016}, ee = {https://doi.org/10.1109/ECC.2016.7810323}, interhash = {5934aaba6d5d92ad6738e49de27a59e2}, intrahash = {e5abe30242ed2e784da1ccf6a4929b70}, isbn = {978-1-5090-2591-6}, keywords = {dblp}, pages = {433-440}, publisher = {IEEE}, timestamp = {2024-04-09T14:22:40.000+0200}, title = {Towards formal verification of small and micro UAS.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2016.html#VeresMA16}, year = 2016 }