@article{MAIS_2012_19_6_a3,
     author = {D. Yu. Volkanov and V. A. Zakharov and D. A. Zorin and I. V. Konnov and V. V. Podymov},
     title = {On the {Designing} of {Model} {Checkers} for {Real-Time} {Distributed} {Systems}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {45--56},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a3/}
}