Pavel Vasilyev

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Anatol Slissenko, Pavel Vasilyev
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking. J. Univers. Comput. Sci. 14 (12) (2008)
Pavel Vasilyev
Simulator for Real-Time Abstract State Machines. MSVVEIS (2006)
Pavel Vasilyev
Simulator for Real-Time Abstract State Machines. FORMATS (2006)