A Sound and Complete Deductive System for CTL Verification (bibtex)
by Dov M. Gabbay, A. Pnueli
Reference:
A Sound and Complete Deductive System for CTL Verification (Dov M. Gabbay, A. Pnueli), In Logic Journal of IGPL, volume 16, 2008.
Bibtex Entry:
@Article{Gabbay2008e,
  Title                    = {A Sound and Complete Deductive System for {CTL} Verification},
  Author                   = {Dov M. Gabbay and A. Pnueli},
  Journal                  = {Logic Journal of IGPL},
  Year                     = {2008},

  Month                    = {December},
  Number                   = {6},
  Pages                    = {499-536},
  Volume                   = {16},

  Affiliation              = {icr},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser