A Model Parametric Real-Time Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1992

Ключевые слова:

реальное время

семантика

спецификация

Стр.:

P.521-573.

Библиография:

Bibliogr.: p.572-573.

Источник:

ACM Trans. Programming Languages and Systems

Номер:

4

Том:

14

Карточка:

Б3.44, Б2.13, Б3.33.

Morzenti A., Mandrioli D., Ghezzi C..

A Model Parametric Real-Time Logic// ACM Trans. Programming Languages and Systems-1992, №4.-Vol. 14.-P.521-573.
Bibliogr.: p.572-573.

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

ACM2 136