BibTeX record journals/aicom/Maratea06

download as .bib file

@article{DBLP:journals/aicom/Maratea06,
  author    = {Marco Maratea},
  title     = {Efficient decision procedures for the integration of planning and
               formal verification in advanced systems},
  journal   = {{AI} Commun.},
  volume    = {19},
  number    = {1},
  pages     = {87--89},
  year      = {2006},
  url       = {http://content.iospress.com/articles/ai-communications/aic358},
  timestamp = {Fri, 15 May 2015 14:59:58 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/Maratea06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics