Vitaly E. Kozura

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov
Verification of Distributed Systems Modelled by High-Level Petri Nets. PARELEC (2002)
Valery A. Nepomniaschy, Nikolay V. Shilov, Evgeny V. Bodin, Vitaly E. Kozura
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. IFM (2002)
Vitaly E. Kozura
Unfoldings of Coloured Petri Nets. Ershov Memorial Conference (2001)