Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/tacas/BlancKS08
%A Blanc, Nicolas
%A Kroening, Daniel
%A Sharygina, Natasha
%B TACAS
%D 2008
%E Ramakrishnan, C. R.
%E Rehof, Jakob
%I Springer
%K dblp
%P 467-470
%T Scoot: A Tool for the Analysis of SystemC Models.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#BlancKS08
%V 4963
%@ 978-3-540-78799-0
@inproceedings{conf/tacas/BlancKS08,
added-at = {2020-03-27T00:00:00.000+0100},
author = {Blanc, Nicolas and Kroening, Daniel and Sharygina, Natasha},
biburl = {https://www.bibsonomy.org/bibtex/23164f37fd3a3999a8aa9f63aa2d32830/dblp},
booktitle = {TACAS},
crossref = {conf/tacas/2008},
editor = {Ramakrishnan, C. R. and Rehof, Jakob},
ee = {https://doi.org/10.1007/978-3-540-78800-3_36},
interhash = {08c9913277ff3ea9373838fba2da5f49},
intrahash = {3164f37fd3a3999a8aa9f63aa2d32830},
isbn = {978-3-540-78799-0},
keywords = {dblp},
pages = {467-470},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T20:56:28.000+0200},
title = {Scoot: A Tool for the Analysis of SystemC Models.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#BlancKS08},
volume = 4963,
year = 2008
}