Verification of the UltraSPARC Microprocessor.
Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/A._K._Lin
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/A._Moudgal
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Amaresh_Iyer
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/D._McConn
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Dennis_Chen
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Dev_Chen
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Gary_Peterson
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Guillermo_Maturana
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/H._Mohammed
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Jamshid_Mostoufi
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Jeffery_Gee
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/M._Splain
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/P._Fu
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/R._Eltejaein
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/S._Ahmed
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/S._Al-Ashari
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/S._Cokmez
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/S._Mehta
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Srinivas_Nori
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/T._Granvold
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/T._Yu
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1109%2FCMPCON.1995.512422
>
foaf:
homepage
<
https://doi.org/10.1109/CMPCON.1995.512422
>
dc:
identifier
DBLP conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1109%2FCMPCON.1995.512422
(xsd:string)
dcterms:
issued
1995
(xsd:gYear)
rdfs:
label
Verification of the UltraSPARC Microprocessor.
(xsd:string)
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/A._K._Lin
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/A._Moudgal
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Amaresh_Iyer
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/D._McConn
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Dennis_Chen
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Dev_Chen
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Gary_Peterson
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Guillermo_Maturana
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/H._Mohammed
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Jamshid_Mostoufi
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Jeffery_Gee
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/M._Splain
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/P._Fu
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/R._Eltejaein
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/S._Ahmed
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/S._Al-Ashari
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/S._Cokmez
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/S._Mehta
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Srinivas_Nori
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/T._Granvold
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/T._Yu
>
swrc:
pages
452-461
(xsd:string)
dcterms:
partOf
<
https://dblp.l3s.de/d2r/resource/publications/conf/compcon/1995
>
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/conf/compcon/MehtaAACCCEFGGILMMMMMNPSY95
>
rdfs:
seeAlso
<
http://dblp.uni-trier.de/db/conf/compcon/compcon95.html#MehtaAACCCEFGGILMMMMMNPSY95
>
rdfs:
seeAlso
<
https://doi.org/10.1109/CMPCON.1995.512422
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/conferences/compcon
>
dc:
title
Verification of the UltraSPARC Microprocessor.
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Text
>
rdf:
type
swrc:InProceedings
rdf:
type
foaf:Document