%0 Conference Paper %1 conf/tap/MasciM20 %A Masci, Paolo %A Muñoz, César A. %B TAP@STAF %D 2020 %E Ahrendt, Wolfgang %E Wehrheim, Heike %I Springer %K dblp %P 155-166 %T A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. %U http://dblp.uni-trier.de/db/conf/tap/tap2020.html#MasciM20 %V 12165 %@ 978-3-030-50995-8

@inproceedings{conf/tap/MasciM20, added-at = {2021-06-01T00:00:00.000+0200}, author = {Masci, Paolo and Muñoz, César A.}, biburl = {https://www.bibsonomy.org/bibtex/2f5c0e16de147cce71b556cf609725541/dblp}, booktitle = {TAP@STAF}, crossref = {conf/tap/2020}, editor = {Ahrendt, Wolfgang and Wehrheim, Heike}, ee = {https://doi.org/10.1007/978-3-030-50995-8_9}, interhash = {2e0cedb54bcba732533ab1f14d34948f}, intrahash = {f5c0e16de147cce71b556cf609725541}, isbn = {978-3-030-50995-8}, keywords = {dblp}, pages = {155-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:12:39.000+0200}, title = {A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2020.html#MasciM20}, volume = 12165, year = 2020 }