Tatjana G. Churina E-mail tanch@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree PhD
Churina T., Okunishnikova E. Modeling Estelle specifications using colored Petri nets // Computer Science. — 1998. — # 8 — P. 19-38