Вы здесь
Axiomatising Timed Automata
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Стр.:
P.277-305
Библиография:
Bibliogr.: p.304-305
Источник:
Номер:
4
Том:
38
Карточка:
А2.2.
Lin H., Yi W..
Axiomatising Timed Automata// Acta Informatica-2002, №4.-Vol. 38.-P.277-305
Bibliogr.: p.304-305
Таблица в старой библиотеке:
PAP24 422