Inproceedings,
An ADL for Functional Specification of IA32.
W. Qin, A. Ben-Tzur, and B. Gutkovich.MTV, page 119-127. IEEE Computer Society, (2007)
Meta data
- BibTeX key
- conf/mtv/QinBG07
- entry type
- inproceedings
- booktitle
- MTV
- year
- 2007
- pages
- 119-127
- publisher
- IEEE Computer Society
- crossref
- conf/mtv/2007
- ee
- https://doi.ieeecomputersociety.org/10.1109/MTV.2007.12
- isbn
- 978-0-7695-3241-7
- url
- http://dblp.uni-trier.de/db/conf/mtv/mtv2007.html#QinBG07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/mtv/QinBG07
%A Qin, Wei
%A Ben-Tzur, Asa
%A Gutkovich, Boris
%B MTV
%D 2007
%E Abadir, Magdy S.
%E Wang, Li-C.
%E Bhadra, Jayanta
%I IEEE Computer Society
%K dblp
%P 119-127
%T An ADL for Functional Specification of IA32.
%U http://dblp.uni-trier.de/db/conf/mtv/mtv2007.html#QinBG07
%@ 978-0-7695-3241-7
@inproceedings{conf/mtv/QinBG07,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Qin, Wei and Ben-Tzur, Asa and Gutkovich, Boris},
biburl = {https://www.bibsonomy.org/bibtex/28b148133ebcfda87077085322effeeec/dblp},
booktitle = {MTV},
crossref = {conf/mtv/2007},
editor = {Abadir, Magdy S. and Wang, Li-C. and Bhadra, Jayanta},
ee = {https://doi.ieeecomputersociety.org/10.1109/MTV.2007.12},
interhash = {bcb380179cca7c655fb11657e51b7ca7},
intrahash = {8b148133ebcfda87077085322effeeec},
isbn = {978-0-7695-3241-7},
keywords = {dblp},
pages = {119-127},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T13:49:47.000+0200},
title = {An ADL for Functional Specification of IA32.},
url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2007.html#QinBG07},
year = 2007
}