Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}