by Dubrovin, J., Junttila, T.
Published in 2008 8th International Conference on Application of Concurrency to System Design (01.06.2008)

by Cimatti, A., Dubrovin, J., Junttila, T., Roveri, M.
Published in 2009 Formal Methods in Computer-Aided Design (01.11.2009)

by SCHEDROVITSKY S,SU, GOLOVKO Z,SU, SUUT N,SU, GONCHAREVICH L,SU, MASH D,SU, LEBEDEV A,SU, DUBROVIN J,SU
Year of Publication 06.08.1974

by SCHEDROVITSKY S,SU, GOLOVKO Z,SU, GONCHAREVICH G,SU, LEDEDEV A,SU, SUUT N,SU, MASH D,SU, DUBROVIN J,SU
Year of Publication 13.05.1974

by LEBEDEV A P, DUBROVIN J M, SCHEDROVITSKY S S, SHRUBEK E I, SIDOROVA N M, BELYAEVA A A, GLEBOV V M, 10)BELFOR A G, TARADA I S, MASH D M
Year of Publication 16.04.1978

by LEBEDEV A P, DUBROVIN J M, SCHEDROVITSKY S S, SHRUBEK E I, SIDOROVA N M, BELYAEVA A A, GLEBOV V M, 10)BELFOR A G, TARADA I S, MASH D M
Year of Publication 16.04.1978

by S S SCHEDROVITSKY, N I SHINDIN, Z I GOLOVKO, J M DUBROVIN, A A BELYAEVA, D M MASH
Year of Publication 26.11.1979

by S S SCHEDROVITSKY, N I SHINDIN, Z I GOLOVKO, J M DUBROVIN, A A BELYAEVA, D M MASH
Year of Publication 10.02.1979

by S S SCHEDROVITSKY, N I SHINDIN, Z I GOLOVKO, J M DUBROVIN, A A BELYAEVA, D M MASH
Year of Publication 10.02.1979

by S S SCHEDROVITSKY, V M GLEBOV, E I SHRUBEK, N M SIDOROVA, J M DUBROVIN, I S TARADA, A A BELYAEVA, D M MASH, A P LEBEDIV, 10)A G BELFOR
Year of Publication 27.11.1978