Следующие страницы ссылаются на «Computing (bi)simulation relations preserving CTL-X- logic for ordinary and fair Kripke structures»: