Вы здесь
Synthesizing Distinguishing Formulae for Real Time Systems - Extended Abstract
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.519-528
Библиография:
Bibliogr.: p.528
Место издания:
Том:
969
Карточка:
Б2.15.
Godskesen J. C., Larsen K. G..
Synthesizing Distinguishing Formulae for Real Time Systems - Extended Abstract-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1995, 1995.-Vol. 969.-P.519-528-(Lecture Notes in Computer Science).
Bibliogr.: p.528
Таблица в старой библиотеке:
PAP13 392