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