Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record journals/corr/IrelandHMNV16
@article{DBLP:journals/corr/IrelandHMNV16, author = {Murray L. Ireland and Ruth Hoffmann and Alice Miller and Gethin Norman and Sandor M. Veres}, title = {A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods}, journal = {CoRR}, volume = {abs/1609.00177}, year = {2016}, url = {http://arxiv.org/abs/1609.00177}, eprinttype = {arXiv}, eprint = {1609.00177}, timestamp = {Sat, 23 Jan 2021 01:19:45 +0100}, biburl = {https://dblp.org/rec/journals/corr/IrelandHMNV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.