|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On the verification of PLTL formulae by means of monotone disjunctive normal formsстатья
- Автор: Zakharov V.A.
- Сборник: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
- Редактор: Адян Сергей Иванович
- Серия: Lecture Notes in Computer Science
- Том: 1234
- Год издания: 1997
- Место издания: Springer-Verlag Berlin
- Первая страница: 419
- Последняя страница: 429
- Добавил в систему: Захаров Владимир Анатольевич