Вы здесь

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.222-235.
Библиография: 
Bibliogr.: p.233-235
Том: 
1633
Карточка: 

Б2.23, Б2.4, Б2.1.

Bloem R., Ravi K., Somenzi F..

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties// Lecture Notes in Computer Science-1999.-Vol. 1633.-P.222-235.
Bibliogr.: p.233-235

Таблица в старой библиотеке: 
PAP19 826