Natalya S. Gribovskaja

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Irina B. Virbitskaite, Natalya S. Gribovskaja
Open Maps and Observational Equivalences for Timed Partial Order Models. Fundam. Informaticae 60 (1-4) (2004)
Irina B. Virbitskaite, Natalya S. Gribovskaja
Open Maps and Trace Semantics for Timed Partial Order Models. Ershov Memorial Conference (2003)