Вы здесь

An Axiomatization of Lamport s Temporal Logic of Actions

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1991
Стр.: 
18 p.
Место издания: 
Номер: 
65
Карточка: 

Б2.13.

Abadi M..

An Axiomatization of Lamport s Temporal Logic of Actions-Teddington., 1991.-18 p.-(Препринт Digital №65).

Таблица в старой библиотеке: 
PREP1 237