Вы здесь
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2003
Ключевые слова:
Стр.:
P.278-283
Библиография:
Bibliogr.: p.282-283
Источник:
Том:
2619
Карточка:
Б2.23, Б3.51, А2.2.
Dembinski P., Janowska A., Janowsi P., Penczek W., Polrola A., Szreter M., Wozna B., Zbrzezny A..
Verics: A Tool for Verifying Timed Automata and Estelle Specifications// Lecture Notes in Computer Science-2003.-Vol. 2619.-P.278-283
Bibliogr.: p.282-283
Таблица в старой библиотеке:
PAP26 659