Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/nfm/MunozN16
AU - Muñoz, César A.
AU - Narkawicz, Anthony
TI - Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft.
BT - NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
SP - 221
EP - 226
PY - 2016//
DO - 10.1007/978-3-319-40648-0_17
UR - https://doi.org/10.1007/978-3-319-40648-0_17
ER -
