Computing (bi)simulation relations preserving CTL*_X for ordinary and fair Kripke structures (bibtex)
by P.E. Bulychev, I. V. Konnov, V. A. Zakharov
Reference:
Computing (bi)simulation relations preserving CTL*_X for ordinary and fair Kripke structuresP.E. Bulychev, I. V. Konnov, V. A. ZakharovMathemathical Methods and Algorithms, ISP RAS, pages 59-76, 2006.Note: Also available as http://lvk.cs.msu.su/ konnov/publications/bkz07_games.pdf
Bibtex Entry:
@inproceedings{BulychevKonnovZakharov2006,
  author    = {P.E. Bulychev and I. V. Konnov and V. A. Zakharov},
  title     = {Computing (bi)simulation
               relations preserving CTL*_X for ordinary and fair Kripke
               structures},
  booktitle = {Mathemathical Methods and Algorithms, ISP RAS},
  year      = {2006},
  volume    = {12},
  pages     = {59-76},
  ee        = {http://discopal.ispras.ru/pdfs/issue-2006-12/cs-isp-sbornik.pdf},
  note      = "Also available as \url{http://lvk.cs.msu.su/~konnov/publications/bkz07_games.pdf}",
}
Powered by bibtexbrowser