Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/ftrtft/HenzingerK94
%A Henzinger, Thomas A.
%A Kopke, Peter W.
%B FTRTFT
%D 1994
%E Langmaack, Hans
%E de Roever, Willem P.
%E Vytopil, Jan
%I Springer
%K dblp
%P 351-372
%T Verification Methods for the Divergent Runs of Clock Systems.
%U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1994.html#HenzingerK94
%V 863
%@ 3-540-58468-4
@inproceedings{conf/ftrtft/HenzingerK94,
added-at = {2017-05-20T00:00:00.000+0200},
author = {Henzinger, Thomas A. and Kopke, Peter W.},
biburl = {https://www.bibsonomy.org/bibtex/236bdeacb988acf7d56a42c41cf3b8f4e/dblp},
booktitle = {FTRTFT},
crossref = {conf/ftrtft/1994},
editor = {Langmaack, Hans and de Roever, Willem P. and Vytopil, Jan},
ee = {https://doi.org/10.1007/3-540-58468-4_173},
interhash = {eb01318a71b6bf7fca8d40a77aff1e9a},
intrahash = {36bdeacb988acf7d56a42c41cf3b8f4e},
isbn = {3-540-58468-4},
keywords = {dblp},
pages = {351-372},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T20:25:08.000+0200},
title = {Verification Methods for the Divergent Runs of Clock Systems.},
url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1994.html#HenzingerK94},
volume = 863,
year = 1994
}