%0 Journal Article %1 journals/siglog/MunozDNU16 %A Muñoz, César A. %A Dutle, Aaron %A Narkawicz, Anthony %A Upchurch, Jason %D 2016 %J ACM SIGLOG News %K dblp %N 3 %P 67-76 %T Unmanned aircraft systems in the national airspace system: a formal methods perspective. %U http://dblp.uni-trier.de/db/journals/siglog/siglog3.html#MunozDNU16 %V 3

@article{journals/siglog/MunozDNU16, added-at = {2022-06-10T00:00:00.000+0200}, author = {Muñoz, César A. and Dutle, Aaron and Narkawicz, Anthony and Upchurch, Jason}, biburl = {https://www.bibsonomy.org/bibtex/2538ff6d7f3da2034e2b6b85dd924add3/dblp}, ee = {https://doi.org/10.1145/2984450.2984459}, interhash = {0e8a6523f893ba5395c698f1e167baaa}, intrahash = {538ff6d7f3da2034e2b6b85dd924add3}, journal = {ACM SIGLOG News}, keywords = {dblp}, number = 3, pages = {67-76}, timestamp = {2024-04-08T09:55:18.000+0200}, title = {Unmanned aircraft systems in the national airspace system: a formal methods perspective.}, url = {http://dblp.uni-trier.de/db/journals/siglog/siglog3.html#MunozDNU16}, volume = 3, year = 2016 }