004.032.32(063)/F76-763643         Formal modeling and analysis of timed systems [Electronic resource] : 3rd international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / ed. P. Pettersson. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3829). - ISBN 978-3-540-31616-9 : Б. ц. ГРНТИ 50.39 УДК 004.7(063) Рубрики: Вычислительные системы--Съезды и конференции См. : Текст издания Доп.точки доступа: Pettersson, P. \ed.\; SpringerLink (Online service) Свободных экз. нет