%0 Journal Article %1 journals/pcs/VolkanovZZPK15 %A Volkanov, Dmitry Yu. %A Zakharov, Vladimir A. %A Zorin, Daniil A. %A Podymov, Vladislav V. %A Konnov, Igor V. %D 2015 %J Program. Comput. Softw. %K dblp %N 6 %P 325-335 %T A combined toolset for the verification of real-time distributed systems. %U http://dblp.uni-trier.de/db/journals/pcs/pcs41.html#VolkanovZZPK15 %V 41

@article{journals/pcs/VolkanovZZPK15, added-at = {2020-09-06T00:00:00.000+0200}, author = {Volkanov, Dmitry Yu. and Zakharov, Vladimir A. and Zorin, Daniil A. and Podymov, Vladislav V. and Konnov, Igor V.}, biburl = {https://www.bibsonomy.org/bibtex/2ef073af7584000a84a486812532f5b5b/dblp}, ee = {https://doi.org/10.1134/S0361768815060080}, interhash = {7aaca9d81fdcb33b809201f9335c3202}, intrahash = {ef073af7584000a84a486812532f5b5b}, journal = {Program. Comput. Softw.}, keywords = {dblp}, number = 6, pages = {325-335}, timestamp = {2020-09-09T12:36:53.000+0200}, title = {A combined toolset for the verification of real-time distributed systems.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs41.html#VolkanovZZPK15}, volume = 41, year = 2015 }