FusaokaST83'

BibTeX

@inproceedings{DBLP:conf/ijcai/FusaokaST83,
  author    = {Akira Fusaoka and
               Hirohisa Seki and
               Kazuko Takahashi},
  title     = {A Description and Reasoning of Plant Controllers in Temporal
               Logic},
  booktitle = {IJCAI},
  year      = {1983},
  pages     = {405-408},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}