Вы здесь

Formal Verification of Concurrent Programs Using the Larch Prover

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.46-62.
Библиография: 
Bibliogr.: p.61-62
Номер: 
1
Том: 
24
Карточка: 

Б3.54, Б2.23.

Chetali B..

Formal Verification of Concurrent Programs Using the Larch Prover// IEEE Trans. on Software Engineering-1998, №1.-Vol. 24.-P.46-62.
Bibliogr.: p.61-62

Таблица в старой библиотеке: 
PAP17 804