A. P. Kapitonova

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

Anatoly G. Bakhmurov, A. P. Kapitonova, Ruslan L. Smeliansky
DYANA: An Environment for Embedded System Design and Analysis. TACAS (1999)
Ruslan L. Smeliansky, Anatoly G. Bakhmurov, A. P. Kapitonova
DYANA: An Environment for Embedded System Design and Analysis. Annual Simulation Symposium (1999)