(Q111964137)

English

Automated techniques for formal verification of SoCs

2009 doctoral thesis by Roopak Sinha at University of Auckland

In more languages

Statements

doctoral thesis

0 references

Automated techniques for formal verification of SoCs (English)

0 references

1 reference

http://hdl.handle.net/2292/4238

object named as

Sinha, Roopak

0 references

ResearchSpace@Auckland

0 references

dissertation submitted to

University of Auckland

0 references

copyright holder

0 references

country of origin

0 references

publication date

2009

0 references

full work available at URL

https://researchspace.auckland.ac.nz/handle/2292/4238

0 references

copyright status

0 references

on focus list of Wikimedia project

NZThesisProject

0 references

online access status

0 references

thesis committee member

0 references

Identifiers

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q111964137&oldid=1914274373"