@article{PDMA_2021_14_a27,
     author = {P. N. Devyanin and M. A. Leonova},
     title = {About methods of developing consistent description of the {MROSL} {DP-model} for {OS} and {DBMS} for its verification with {Rodin} and {ProB} tools},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {126--132},
     publisher = {mathdoc},
     number = {14},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2021_14_a27/}
}