V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems (bibtex)
by Anna Lukina
Reference:
V for Verification: Intelligent Algorithm of Checking Reliability of Smart SystemsAnna LukinaProceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. (Satinder P. Singh, Shaul Markovitch, eds.), pages 5046–5047, 2017, AAAI Press.
Bibtex Entry:
@inproceedings{DBLP:conf/aaai/Lukina17,
  author    = {Anna Lukina},
  editor    = {Satinder P. Singh and
               Shaul Markovitch},
  title     = {V for Verification: Intelligent Algorithm of Checking Reliability
               of Smart Systems},
  booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
               February 4-9, 2017, San Francisco, California, {USA.}},
  pages     = {5046--5047},
  publisher = {{AAAI} Press},
  year      = {2017},
  url       = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14190},
  timestamp = {Mon, 06 Mar 2017 11:36:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/Lukina17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser