Sergey A. Chernenok

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Operating System

Distributed Systems

Coloured Petri Nets

Top Venues

Autom. Control. Comput. Sci.

Publications

Sergey A. Chernenok, Valery A. Nepomniaschy
Analysis and verification of message sequence charts of distributed systems with the help of coloured Petri nets. Autom. Control. Comput. Sci. 49 (7) (2015)