%0 Conference Paper %1 journals/corr/abs-1003-0381 %A Sirigineedi, Gopinadh %A Tsourdos, Antonios %A White, Brian A. %A Zbikowski, Rafal %B FMA %D 2009 %E Bujorianu, Manuela-Luminita %E Fisher, Michael %K dblp %P 22-33 %T Modelling and Verification of Multiple UAV Mission Using SMV %U http://dblp.uni-trier.de/db/series/eptcs/eptcs20.html#abs-1003-0381 %V 20

@inproceedings{journals/corr/abs-1003-0381, added-at = {2018-09-12T00:00:00.000+0200}, author = {Sirigineedi, Gopinadh and Tsourdos, Antonios and White, Brian A. and Zbikowski, Rafal}, biburl = {https://www.bibsonomy.org/bibtex/28eb316a47e387087e68b9ce2ce86913c/dblp}, booktitle = {FMA}, crossref = {journals/corr/abs-1003-5363}, editor = {Bujorianu, Manuela-Luminita and Fisher, Michael}, ee = {http://arxiv.org/abs/1003.0381}, interhash = {6c6de81a15124a6baba84d432de77f13}, intrahash = {8eb316a47e387087e68b9ce2ce86913c}, keywords = {dblp}, pages = {22-33}, series = {EPTCS}, timestamp = {2024-04-09T09:29:27.000+0200}, title = {Modelling and Verification of Multiple UAV Mission Using SMV}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs20.html#abs-1003-0381}, volume = 20, year = 2009 }