Вы здесь

Главная

Verification in Predicate Logic with Time: Algorithmic Questions

Автор: 
Slissenko A.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Ключевые слова: 
верификация
предикатный
логика
алгоритм
временной
вероятностный
система
Стр.: 
P.3-17
Библиография: 
Bibliogr.: p.16-17
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3634
Карточка: 

Б2.1, Б2.23.

Slissenko A..

Verification in Predicate Logic with Time: Algorithmic Questions-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3634.-P.3-17-(Lecture Notes in Computer Science).
Bibliogr.: p.16-17

Таблица в старой библиотеке: 
PAP30 118