Inproceedings,
From visual to logical formalisms for SoC validation.
R. Fraer, D. Keren, Z. Khasidashvili, A. Novakovsky, A. Puder, E. Singerman, E. Talmor, M. Vardi, and J. Yang.MEMOCODE, page 165-174. IEEE, (2014)
Meta data
- BibTeX key
- conf/memocode/FraerKKNPSTVY14
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2014
- pages
- 165-174
- publisher
- IEEE
- crossref
- conf/memocode/2014
- ee
- https://doi.org/10.1109/MEMCOD.2014.6961855
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#FraerKKNPSTVY14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/FraerKKNPSTVY14
%A Fraer, Ranan
%A Keren, Doron
%A Khasidashvili, Zurab
%A Novakovsky, Alexander
%A Puder, Avi
%A Singerman, Eli
%A Talmor, Eran
%A Vardi, Moshe Y.
%A Yang, Jin
%B MEMOCODE
%D 2014
%I IEEE
%K dblp
%P 165-174
%T From visual to logical formalisms for SoC validation.
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#FraerKKNPSTVY14
@inproceedings{conf/memocode/FraerKKNPSTVY14,
added-at = {2022-01-17T00:00:00.000+0100},
author = {Fraer, Ranan and Keren, Doron and Khasidashvili, Zurab and Novakovsky, Alexander and Puder, Avi and Singerman, Eli and Talmor, Eran and Vardi, Moshe Y. and Yang, Jin},
biburl = {https://www.bibsonomy.org/bibtex/2f1cfce48b805ae9ac81ba14a410b6655/dblp},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2014},
ee = {https://doi.org/10.1109/MEMCOD.2014.6961855},
interhash = {475ae617d16d3ea9abb9243c97ba906c},
intrahash = {f1cfce48b805ae9ac81ba14a410b6655},
keywords = {dblp},
pages = {165-174},
publisher = {IEEE},
timestamp = {2024-04-10T18:28:16.000+0200},
title = {From visual to logical formalisms for SoC validation.},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#FraerKKNPSTVY14},
year = 2014
}