%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 }