Computing (bi)simulation relations preserving CTL-X- logic for ordinary and fair Kripke structures - статья | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Computing (bi)simulation relations preserving CTL-X- logic for ordinary and fair Kripke structuresстатья

Авторы: Bulychev P.E., Konnov I.V., Zakharov V.A.
Сборник: Труды Института системного программирования РАН
Том: 12
Год издания: 2007
Место издания: ИСП РАН Москва
Первая страница: 59
Последняя страница: 76
Добавил в систему: Захаров Владимир Анатольевич