BibTeX record conf/scai/RaynerHAW89

download as .bib file

@inproceedings{DBLP:conf/scai/RaynerHAW89,
  author       = {Manny Rayner and
                  {\AA}sa Hugosson and
                  Martin Aronsson and
                  Annika W{\ae}rn},
  editor       = {Hannu Jaakkola and
                  Seppo Linnainmaa},
  title        = {Formal Reasoning about Plan-Controlled Vehicles},
  booktitle    = {Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings
                  of the 2nd SCAI, Tampere, Finland, June 12-15, 1989},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {4},
  pages        = {739--751},
  publisher    = {{IOS} Press},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 11:47:47 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/RaynerHAW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}