Вы здесь

Timed Verification with mCRL

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

Б2.2, Б3.5.

Blom S., Ioustinova N., Sidorova N..

Timed Verification with mCRL// Lecture Notes in Computer Science-2003.-Vol. 2890.-P.178-191
Bibliogr.: p.191

Таблица в старой библиотеке: 
PAP28 148