BibTeX record conf/ias/CicalaKMNPPT14

download as .bib file

@inproceedings{DBLP:conf/ias/CicalaKMNPPT14,
  author    = {Giuseppe Cicala and
               Ali Khalili and
               Giorgio Metta and
               Lorenzo Natale and
               Shashank Pathak and
               Luca Pulina and
               Armando Tacchella},
  title     = {Engineering Approaches and Methods to Verify Software in Autonomous
               Systems},
  booktitle = {Intelligent Autonomous Systems 13 - Proceedings of the 13th International
               Conference IAS-13, Padova, Italy, July 15-18, 2014},
  pages     = {1683--1700},
  year      = {2014},
  crossref  = {DBLP:conf/ias/2014},
  url       = {https://doi.org/10.1007/978-3-319-08338-4\_121},
  doi       = {10.1007/978-3-319-08338-4\_121},
  timestamp = {Thu, 15 Jun 2017 21:33:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ias/CicalaKMNPPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ias/2014,
  editor    = {Emanuele Menegatti and
               Nathan Michael and
               Karsten Berns and
               Hiroaki Yamaguchi},
  title     = {Intelligent Autonomous Systems 13 - Proceedings of the 13th International
               Conference IAS-13, Padova, Italy, July 15-18, 2014},
  series    = {Advances in Intelligent Systems and Computing},
  volume    = {302},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-08338-4},
  doi       = {10.1007/978-3-319-08338-4},
  isbn      = {978-3-319-08337-7},
  timestamp = {Tue, 23 May 2017 01:06:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ias/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier