Introducing Reactive Kripke Semantics and Arc Accessibility (bibtex)
by Dov M. Gabbay
Reference:
Introducing Reactive Kripke Semantics and Arc Accessibility (Dov M. Gabbay), In Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (Arnon Avron, Nachum Dershowitz, Alexander Rabinovich, eds.), Springer, volume 4800, 2008.
Bibtex Entry:
@InProceedings{Gabbay2008k,
  Title                    = {Introducing Reactive Kripke Semantics and Arc Accessibility},
  Author                   = {Dov M. Gabbay},
  Booktitle                = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday},
  Year                     = {2008},
  Editor                   = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich},
  Pages                    = {292-341},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {4800},

  Affiliation              = {icr},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-540-78127-1_17},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser