BibTeX record journals/jcss/FeldmanH84

download as .bib file

@article{DBLP:journals/jcss/FeldmanH84,
  author    = {Yishai A. Feldman and
               David Harel},
  title     = {A Probabilistic Dynamic Logic},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {28},
  number    = {2},
  pages     = {193--215},
  year      = {1984}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics