Inproceedings,
Verification of Flow-Based Computing Systems Using Bounded Model Checking.
S. Thijssen, S. Singireddy, M. Rashed, S. Jha, and R. Ewetz.ICCAD, page 1-9. IEEE, (2023)
Meta data
- BibTeX key
- conf/iccad/ThijssenSRJE23
- entry type
- inproceedings
- booktitle
- ICCAD
- year
- 2023
- pages
- 1-9
- publisher
- IEEE
- crossref
- conf/iccad/2023
- ee
- https://doi.org/10.1109/ICCAD57390.2023.10323708
- isbn
- 979-8-3503-2225-5
- url
- http://dblp.uni-trier.de/db/conf/iccad/iccad2023.html#ThijssenSRJE23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccad/ThijssenSRJE23
%A Thijssen, Sven
%A Singireddy, Suraj
%A Rashed, Muhammad Rashedul Haq
%A Jha, Sumit Kumar
%A Ewetz, Rickard
%B ICCAD
%D 2023
%I IEEE
%K dblp
%P 1-9
%T Verification of Flow-Based Computing Systems Using Bounded Model Checking.
%U http://dblp.uni-trier.de/db/conf/iccad/iccad2023.html#ThijssenSRJE23
%@ 979-8-3503-2225-5
@inproceedings{conf/iccad/ThijssenSRJE23,
added-at = {2024-01-03T00:00:00.000+0100},
author = {Thijssen, Sven and Singireddy, Suraj and Rashed, Muhammad Rashedul Haq and Jha, Sumit Kumar and Ewetz, Rickard},
biburl = {https://www.bibsonomy.org/bibtex/27cb75fbfce5431958cb2a43b4c933e6c/dblp},
booktitle = {ICCAD},
crossref = {conf/iccad/2023},
ee = {https://doi.org/10.1109/ICCAD57390.2023.10323708},
interhash = {a3c2061fd5d7cf3b756ca7cc82431d1f},
intrahash = {7cb75fbfce5431958cb2a43b4c933e6c},
isbn = {979-8-3503-2225-5},
keywords = {dblp},
pages = {1-9},
publisher = {IEEE},
timestamp = {2024-04-09T19:27:05.000+0200},
title = {Verification of Flow-Based Computing Systems Using Bounded Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2023.html#ThijssenSRJE23},
year = 2023
}