Computing (bi)simulation relations preserving CTL*_X for ordinary and fair Kripke structures

Bulychev, P.E.; Konnov, I. V.; Zakharov, V. A.

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}",
}