Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/fmsd/KurshanLMPY02
%A Kurshan, Robert P.
%A Levin, Vladimir
%A Minea, Marius
%A Peled, Doron A.
%A Yenigün, Hüsnü
%D 2002
%J Formal Methods Syst. Des.
%K dblp
%N 3
%P 251-280
%T Combining Software and Hardware Verification Techniques.
%U http://dblp.uni-trier.de/db/journals/fmsd/fmsd21.html#KurshanLMPY02
%V 21
@article{journals/fmsd/KurshanLMPY02,
added-at = {2020-03-13T00:00:00.000+0100},
author = {Kurshan, Robert P. and Levin, Vladimir and Minea, Marius and Peled, Doron A. and Yenigün, Hüsnü},
biburl = {https://www.bibsonomy.org/bibtex/2fc28d9634c5c1139dcc9644fea8f1548/dblp},
ee = {https://doi.org/10.1023/A:1020383505582},
interhash = {8844c9b24fafc4ccf13734635f0196e6},
intrahash = {fc28d9634c5c1139dcc9644fea8f1548},
journal = {Formal Methods Syst. Des.},
keywords = {dblp},
number = 3,
pages = {251-280},
timestamp = {2020-03-14T11:51:10.000+0100},
title = {Combining Software and Hardware Verification Techniques.},
url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd21.html#KurshanLMPY02},
volume = 21,
year = 2002
}