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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics