Meta data
- BibTeX key
- conf/csae/HuHWCYKW20
- entry type
- inproceedings
- booktitle
- CSAE
- year
- 2020
- pages
- 51:1-51:6
- publisher
- ACM
- crossref
- conf/csae/2020
- ee
- https://doi.org/10.1145/3424978.3425029
- isbn
- 978-1-4503-7772-0
- url
- http://dblp.uni-trier.de/db/conf/csae/csae2020.html#HuHWCYKW20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/csae/HuHWCYKW20
%A Hu, Jian
%A Hu, Yongyang
%A Wang, Guanwu
%A Chen, Guilin
%A Yang, Haitao
%A Kang, Yun
%A Wang, Kang
%B CSAE
%D 2020
%E Emrouznejad, Ali
%E Chou, Jui-Sheng Rayson
%I ACM
%K dblp
%P 51:1-51:6
%T Multi-thread Simulation-based Equivalence Checking between SIM and RTI.
%U http://dblp.uni-trier.de/db/conf/csae/csae2020.html#HuHWCYKW20
%@ 978-1-4503-7772-0
@inproceedings{conf/csae/HuHWCYKW20,
added-at = {2021-04-09T00:00:00.000+0200},
author = {Hu, Jian and Hu, Yongyang and Wang, Guanwu and Chen, Guilin and Yang, Haitao and Kang, Yun and Wang, Kang},
biburl = {https://www.bibsonomy.org/bibtex/2fde6a8f57f1bbd28c2d9722e6f8d3e37/dblp},
booktitle = {CSAE},
crossref = {conf/csae/2020},
editor = {Emrouznejad, Ali and Chou, Jui-Sheng Rayson},
ee = {https://doi.org/10.1145/3424978.3425029},
interhash = {2ec25654a910eb289f635dde761bb753},
intrahash = {fde6a8f57f1bbd28c2d9722e6f8d3e37},
isbn = {978-1-4503-7772-0},
keywords = {dblp},
pages = {51:1-51:6},
publisher = {ACM},
timestamp = {2024-04-10T06:45:58.000+0200},
title = {Multi-thread Simulation-based Equivalence Checking between SIM and RTI.},
url = {http://dblp.uni-trier.de/db/conf/csae/csae2020.html#HuHWCYKW20},
year = 2020
}