Roman Dubtsov E-mail dubtsov@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — junior researcher Academic degree PhD
Dubtsov R. Timed transition systems with independence and timed event structures: an adjunction // Computer Science. — 2009. — # 29 — P. 33-48