%0 Journal Article %1 journals/accs/KonnovPVZZ14 %A Konnov, Igor V. %A Podymov, Vladislav V. %A Volkanov, Dmitry Yu. %A Zakharov, Vladimir A. %A Zorin, Daniil A. %D 2014 %J Automatic Control and Computer Sciences %K dblp %N 7 %P 534-542 %T How to make a simple tool for verification of real-time systems. %U http://dblp.uni-trier.de/db/journals/accs/accs48.html#KonnovPVZZ14 %V 48

@article{journals/accs/KonnovPVZZ14, added-at = {2018-01-03T00:00:00.000+0100}, author = {Konnov, Igor V. and Podymov, Vladislav V. and Volkanov, Dmitry Yu. and Zakharov, Vladimir A. and Zorin, Daniil A.}, biburl = {https://www.bibsonomy.org/bibtex/2c803ce87ed52433cf2e740ebf0395f42/dblp}, ee = {https://doi.org/10.3103/S0146411614070232}, interhash = {e8a68bfe203a4c9a9d03b10d4b3b2868}, intrahash = {c803ce87ed52433cf2e740ebf0395f42}, journal = {Automatic Control and Computer Sciences}, keywords = {dblp}, number = 7, pages = {534-542}, timestamp = {2018-01-04T11:35:36.000+0100}, title = {How to make a simple tool for verification of real-time systems.}, url = {http://dblp.uni-trier.de/db/journals/accs/accs48.html#KonnovPVZZ14}, volume = 48, year = 2014 }