|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proc.сборник
- Год издания: 1999
- Серия: Lecture Notes in Computer Science
- Том: 1579
- Место издания: Springer
- Добавил в систему: Бахмуров Анатолий Геннадьевич
Статьи, опубликованные в сборнике
-
- 1999 DYANA: An Environment for Embedded System Design and Analysis
- Kapitonova A., Bakhmurov A., Smeliansky R.
- в сборнике Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proc., серия Lecture Notes in Computer Science, место издания Springer, том 1579, с. 390-404