Вы здесь

Reducing Model Checking from Multi-valued CTL to CTL

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Стр.: 
P.226-239
Библиография: 
Bibliogr.: p.226-239
Издательство: 
Том: 
2421
Карточка: 

Б2.13, Б2.42.

Konikowska B., Penczek W..

Reducing Model Checking from Multi-valued CTL to CTL: Springer// Lecture Notes in Computer Science-2002.-Vol. 2421.-P.226-239
Bibliogr.: p.226-239

Таблица в старой библиотеке: 
PAP25 403