Вы здесь

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Стр.: 
P.95-109
Библиография: 
Bibliogr.: p.108-109
Место издания: 
Издательство: 
Том: 
3395
Карточка: 

Б3.54, Б2.23, Б2.11.

Bordbar B., Okano K..

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3395.-P.95-109-(Lecture Notes in Computer Science).
Bibliogr.: p.108-109

Таблица в старой библиотеке: 
PAP29 933