Zyubin, Vladimir Evgenievich
Head of Laboratory, D.Sc. in Technical Science
Institute of Automation and Electrometry of SB RAS
http://www.iae.nsk.su
Russia, 630090, Novosibirsk, Koptyug Ave, 1
Phone: +7(383) 333-35-80,
Fax: +7(383) 333-38-63
Report
- Anureev I.S.*, Garanina N.O.**, Rozov A.***, Sailau kyzy Z.****, Zyubin V.E.*****, Liakh T.V.******
Verification-oriented transformational semantics of distributed Reflex programs
*A.P. Ershov Institute of Informatics Systems of SB RAS (Novosibirsk), Russia
**A. P. Ershov Institute of Informatics Systems (Novosibirsk), Russia
***Institute of Automation and Electrometry of SB RAS (Novosibirsk), Russia
****Karaganda State Technical University (Karaganda), Kazakhstan
*****Institute of Automation and Electrometry of SB RAS (Novosibirsk), Russia
******Institute of Automation and Electrometry (Novosibirsk), Russia
To participants list