Вы здесь

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes

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

Б3.54.

Fischer J., Conrad S..

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes// Lecture Notes in Computer Science-2000.-Vol. 1945.-P.45-60
Bibliogr.: p.59-60

Таблица в старой библиотеке: 
PAP22 269