Вы здесь

Testing SPIN s LTL Formula Conversion into Buchi Automata with Randomly Generated Input

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

Б2.2, Б3.54.

Tauriainen H., Hejianko K..

Testing SPIN s LTL Formula Conversion into Buchi Automata with Randomly Generated Input// Lecture Notes in Computer Science-2000.-Vol. 1885.-P.54-72
Bibliogr.: p.72

Таблица в старой библиотеке: 
PAP21 841