%0 Conference Paper %1 conf/ias/CicalaKMNPPT14 %A Cicala, Giuseppe %A Khalili, Ali %A Metta, Giorgio %A Natale, Lorenzo %A Pathak, Shashank %A Pulina, Luca %A Tacchella, Armando %B IAS %D 2014 %E Menegatti, Emanuele %E Michael, Nathan %E Berns, Karsten %E Yamaguchi, Hiroaki %I Springer %K dblp %P 1683-1700 %T Engineering Approaches and Methods to Verify Software in Autonomous Systems. %U http://dblp.uni-trier.de/db/conf/ias/ias2014.html#CicalaKMNPPT14 %V 302 %@ 978-3-319-08337-7

@inproceedings{conf/ias/CicalaKMNPPT14, added-at = {2016-01-27T00:00:00.000+0100}, author = {Cicala, Giuseppe and Khalili, Ali and Metta, Giorgio and Natale, Lorenzo and Pathak, Shashank and Pulina, Luca and Tacchella, Armando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fc725c8cfc0e50b8981ce6ac0f5d890e/dblp}, booktitle = {IAS}, crossref = {conf/ias/2014}, editor = {Menegatti, Emanuele and Michael, Nathan and Berns, Karsten and Yamaguchi, Hiroaki}, ee = {http://dx.doi.org/10.1007/978-3-319-08338-4_121}, interhash = {7b322185cdef1ee0ed69847e1a0ca4f3}, intrahash = {fc725c8cfc0e50b8981ce6ac0f5d890e}, isbn = {978-3-319-08337-7}, keywords = {dblp}, pages = {1683-1700}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2016-02-02T15:03:12.000+0100}, title = {Engineering Approaches and Methods to Verify Software in Autonomous Systems.}, url = {http://dblp.uni-trier.de/db/conf/ias/ias2014.html#CicalaKMNPPT14}, volume = 302, year = 2014 }