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